Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Ugo Montanari's Home Page

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 2005: 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 2005: 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-Mar-05

E_mail: ugo@di.unipi.it