Formal methods

Formal methods research exploits mathematical techniques for the design, implementation and verification of software systems, usually of high complexity or with particularly stringent quality requirements. This research covers a wide spectrum of activities, ranging from theoretical studies on the fundamental properties of computability and interaction to theorem proving (also interactive, i.e., able to develop formal demonstrations and automatically verifiable through human-machine collaboration), from models of concurrent systems to models with rich mathematical theories with which to specify and verify salient properties of the systems, such as deadlock absence, possibly through automatic or semi-automatic tools.
The group represents a departmental research line articulated in several thematic units each of which has a specific person in charge.

People

foto della persona

Roberta Calegari

Fixed-term Researcher in Tenure Track L. 79/2022

foto della persona

Roberto Casadei

Senior assistant professor (fixed-term)

foto della persona

Ugo Dal Lago

Full Professor

foto della persona

Maurizio Gabbrielli

Full Professor

foto della persona

Simone Gazza

PhD Student

Teaching tutor

foto della persona

Saverio Giallorenzo

Fixed-term Researcher in Tenure Track L. 79/2022

foto della persona

Roberto Gorrieri

Full Professor

foto della persona

Ivan Lanese

Associate Professor

foto della persona

Cosimo Laneve

Full Professor

foto della persona

Simone Martini

Full Professor

foto della persona

Ghulam Mustafa

PhD Student

foto della persona

Andrea Omicini

Full Professor

Luca Padovani

Full Professor

foto della persona

Claudio Sacerdoti Coen

Associate Professor

foto della persona

Davide Sangiorgi

Full Professor

foto della persona

Mirko Viroli

Full Professor