**Ugo Montanari**

**Professor**

Coordinator of the Research Group on Concurrent Models of Computation

**Research Areas**

- Semantics of Concurrency
- Process Description Languages
- Constraint Programming
- Graph Rewriting Systems
- Algebraic and Categorical Models of Concurrency
- Models and Languages for Open Distributed Systems

- Short CV
- Bibliography 2003-October 2007
- Bibliography
- Bibliography and papers on the Tile Model
- Other papers can be downloaded from the pages of coauthors

**Projects**

- ASCENS - Autonomic Service-Component Ensambles. It is an Information Society Technologies (IST) project funded by the EU as Integrated Project (IP) in the 7th Framework Programme (FP7) as part of the Future Emerging Technologies Proactive Initiative (FET Proactive).
- IPODS - Interacting Processes in Open-ended Distributed Systems. PRIN MIUR project, coordinated by Roberto Bruni.

**Teaching and Professional Service**

- February - May 2012: Modelli di Calcolo (9 CFU)
- We present the principles of operational semantics, the principles of denotational semantics, and the techniques to relate one to the other for an imperative language and for a higher order functional language. We also present two process calcoli, CCS and pi-calculus. Finally we introduce probabilistic transition systems.
- Textbook: Glynn Winskel, The Formal Semantics of Programming Languages, MIT Press, 1993.
- February - May 2012: Semantica e Teoria dei Tipi (6 CFU).
- Some basic properties of models of computation are studied, like operational and abstract semantics, typing, higher order, concurrency, interaction. Algebraic semantics and elementary category theory are employed, but no prerequisites are required except some elementary knowledge of logic and algebra.
- Textbook: John Mitchell, Foundations for Programming Languages, MIT Press, 1996.
- Member of the Editorial Board of the following journals:
- Computer Science Review
- Fundamenta Informaticae
- Mathematical Structures in Computer Science
- New Generation Computing
- Theoretical Computer Science
- Member of the Steering Committee (or equivalent) of the following periodic events:
- CALCO - Conference on Algebra and Coalgebra in Computer Science
- CMCS - International Workshop on Coalgebraic Methods in Computer Science
- CONCUR - International Conference on Concurrency Theory
- CONCUR 2008
- ICGT - International Conference on Graph Transformation
- TGC - Trustworthy Global Computing
- WRLA - International Workshop on Rewriting Logic and its Applications

Last modified: 22-Jan-12

*E_mail: **ugo@di.unipi.it*