Tommaso Bolognesi - Curriculum

(Feb. 11, 2005)

Birth

Ferrara, Italy, October 26, 1952.

Education

• ‘Laurea’ in Physics (1976) – University of Pavia. (Full marks ‘cum laude’.) Thesis on measures of entropy in printed languages and musical scores (C. Jacoboni, E. Gagliardo).
• M.S. in Computer Science (1982) - Univ. of Illinois at Urbana-Champaign. Thesis on Channel Routing Algorithms (Donna Brown).

Positions

Jan.77-Aug.80 CNR scholarship at Musicology Dept. of CNR CNUCE Institute at Pisa (Pietro Grossi). Applications of stochastic processes to computer-music composition.

Aug..80-Jun.81 Fulbright scholarship at Univ. of Illinois at Urbana-Champaign.

Aug.81-Aug.82 Research assistant in the group ‘Applied Theoretical Computer Science’ (F. P. Preparata), at Coordinated Science Laboratory, Univ. of Illinois at Urbana-Champaign.

Jun.82–Jan.96 Permanent position as a Researcher at the Distributed Systems and Networks Dept. of the CNR CNUCE Institute (Luciano Lenzini). State-based verification techniques for communication protocols.

May.83-Apr.84 Visiting scientist at the IBM Zurich Research Lab. Application of network-flow algorithms for the verification of time-dependent communication protocols (Harry Rudin).

Feb. 96-Jun.02 Senior researcher at CNR-IEI (Institute for the Elaboration of Information) at Pisa, as member of the Group ‘Models and methods for software systems’.

Jul 02 - Senior researcher at CNR Institute ISTI (Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”) created from the merging of CNR Institutes CNUCE and IEI, as member of the group ‘Formal Methods and Tools’ -http://fmt.isti.cnr.it/.

Research areas

• Computer-music composition based on stochastic processes, in particular on 1/f noise. Experiments with self-similar music composition.
• State-based automated analysis techniques for communication protocols and distributed systems.
• Definition of process-algebraic formal specification language LOTOS (ISO Standard 8807). Structural Operational Semantics of LOTOS: axioms and inference rules for labelled transition systems. Graphical syntax for LOTOS; timed extensions of process algebras.
• Verification techniques and tools for LOTOS; correctness-preserving transformations for process-algebraic specifications, both in textual and graphical forms.
• Formal specification styles based on composition of behavioural constraints; applications to LOTOS, Prolog, and to Object-Oriented languages.
• Integration of state-based and event-based formal, behavioural specification languages and styles: definition of a constraint-oriented notation (co-notation); integration of Gurevich-Boerger’s Abstract State Machines and process-algebraic views; exporting process- and event-oriented specification style (e.g. from LOTOS) to Lamport’s state-based formal language TLA+.

Projects

• Primary promotor and coordinator of italian participation to European Project ESPRIT-LotoSphere (1989-92) on the development of software engineering techniques and tools for LOTOS, and task manager in the project.
• Contributor to other European projects on Formal Methods and verification techniques (ESPRIT Project SEDOS, European Action Cost 247).
• Coordinator of Italian CNR Projects ‘ForteForma’ (1999) and ‘DimmiBene’ (2001-03) on formal techiques for user manuals, and contributor to other national projects on verification.

Teaching and supervisor activities

External Professor of Software Engineering at Univ. of Pisa (1990-93) and at the Univ. of Siena (2000-2005). Seminars and invited talks at various conferences, on topics related with formal specification languages. Supervisor for CNR grants and theses at Univ. of Pisa.

Conferences, editorial activities

General chair and Programme Committe co-chair of IFIP-WG6.1 international conference FORTE-PSTV 2000. Steering Committee member of FORTE. PC member of various international conferences (PSTV, FORTE, AQuIS, SEFM, ATVA, ICFEM). Workshops chair for FM’03. Organiser of satellite workshops (FM-Elsewhere, St.Eve). Co-editor of conference proceedings (FORTE 2000) and LotoSphere project book (1992). Guest editor and referee for various scientific journals and conferences.

Ten selected publications

T. Bolognesi,

“Automatic Composition: Experiments with Selfsimilar Music”, Computer Music Journal, Vol. 7, N.1, M.I.T. Press, Spring 1983.

T. Bolognesi, H. Rudin,

“On the Analysis of Time-dependent Protocols by Network-flow Algorithms”, in: Y. Yemini, R. Strom, S. Yemini (editors), Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, North-Holland, 1985, pp. 491-513.

T. Bolognesi, E. Brinksma,

“Introduction to the ISO Specification Language LOTOS”, Computer Networks and ISDN Systems, Vol. 14, No. 1, North-Holland, 1987, pp. 25-59.

T. Bolognesi, F. Lucidi

“Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator”, Lecture Notes in Computer Science, N. 600, J. W. De Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (editors), Real-Time: Theory in Practice - REX Workshop, Springer-Verlag, 1992, pp. 124-148.

T. Bolognesi,

“Deriving graphical representations of process networks from algebraic expressions”, Information Processing Letters, 46, Elsevier, 1993, pp.289-294.

T. Bolognesi, F. Lucidi,

“A Timed Full LOTOS with Time/Action Tree Semantics”, Chapter 8 of: T. Rus, C. Rattray (editors), Theories and Experiences for Real-Time System Development, AMAST Series in Computing, Vol. 2, World Scientific Publishing Co., 1994, ISBN 981-02-1923-7.

T. Bolognesi,

“Regrouping Parallel Processes”, Formal Methods in System Design - 9, Kluwer Academic Publ., 1996, pp. 263-302.

T. Bolognesi

‘Towards Constraint-Object-Oriented development’, IEEE Trans. Software Engineering, Vol. 26, No. 7, July 2000, pp. 594-616.

T. Bolognesi, E. Boerger

‘Abstract State Processes’, in:Egon Boerger, Angelo Gargantini, Elvinia Riccobene (Eds), Abstract State Machines - Advances in Theory and Applications, Proceedings of 10th International Workshop, ASM 2003, Taormina, Italy, March 2003, LNCS 2589, Springer, 2003,

T. Bolognesi

‘A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages’, Proceedings of Ninth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Florence, Italy, 14-16 April 2004, pp. 107-116, IEEE Computer Society, ISBN 0-7695-2109-6.