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

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.
CINA: Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society, PRIN MIUR project, coordinated by Rocco De Nicola.

Teaching and Professional Service

February - May 2015: Semantica e Teoria dei Tipi (6 CFU).
February - May 2013: 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.

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: 24-Feb-15

E_mail: ugo@di.unipi.it

Related searches:
science computer project workshop society

gipoco.com is neither affiliated with the authors of this page or responsible
for its contents. This is a safe-cache copy of the original web site.

gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.