Semantics and reasoning

People with expertise in this area
Research interests

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.