Ugo Montanari

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

Teaching and Professional Service

• February - May 2003: Tecniche di Specifica e Dimostrazione (6 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.
• Textbook: Glynn Winskel, The Formal Semantics of Programming Languages, MIT Press, 1993.
• February - May 2003: 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:
• Fundamenta Informaticae
• Mathematical Structures in Computer Science
• New Generation Computing
• Theoretical Computer Science
• Theory and Practice of Logic Programming
• Member of the Steering Committee (or equivalent) of the following periodic events:
• CONCUR - International Conference on Concurrency Theory
• CMCS - International Workshop on Coalgebraic Methods in Computer Science
• CP - International Conference on Principles and Practice of Constraint Programming
• ICGT - International Conference on Graph Transformation
• WRLA - International Workshop on Rewriting Logic and its Applications
• Track B Program Committee Chair of 2nd IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE - Foundations of Information Technology in the Era of Network and Mobile Computing - (TCS 2002), Montreal, August 2002.
• Program Committee Chair of 4th International Workshop on Rewriting Logic and its Applications (WRLA2002), Pisa, 19-21 September, 2002.