Ugo Montanari
Professor
Dipartimento di Informatica
Università di Pisa
Coordinator of the Research Group on Concurrent Models of
Computation
Contact
Information
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 2007: 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 2007: Semantica
e Teoria dei Tipi (6 CFU). Also Modelli di
Calcolo di Sistemi Funzionali, Concorrenti e Interattivi at the
Scuola Normale Superiore, Pisa.
- 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.
- Coordinator of the PhD program in
Computer Science and Engineering, Lucca.
- Member of the Editorial Board of the following journals:
- Member of the Steering Committee (or equivalent) of the following
periodic
events:
Last modified: 20-Dec-07
E_mail: ugo@di.unipi.it