Semantics and reasoning

Mila Dalla Preda
Associate Professor
Alessandra Di Pierro
Associate Professor
Roberto Giacobazzi
Full Professor
Isabella Mastroeni
Associate Professor
Massimo Merro
Full Professor
Ugo Solitro
Assistant Professor
Nicola Fausto Spoto
Associate Professor
Margherita Zorzi
Temporary Assistant Professor
Research interests
Topic People Description
Program semantics Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Ugo Solitro
Nicola Fausto Spoto
Development of semantic models for characterizing security and analysis problems of programming languages
Semantics of concurrent, distributed, and mobile systems Massimo Merro
Semantics of concurrent, distributed, and mobile computations. Associated with these semantic theories come specification techniques and verification technologies for assuring the behaviour of systems
Semantics of Probabilistic Languages Alessandra Di Pierro
Margherita Zorzi
Construction of operational and denotational semantics via linear and abstract algebras.

Activities

Research facilities