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

Formal methods

People

Roberta Calegari

Roberto Casadei

Ugo Dal Lago

Maurizio Gabbrielli

Simone Gazza

Saverio Giallorenzo

Roberto Gorrieri

Ivan Lanese

Cosimo Laneve

Simone Martini

Ghulam Mustafa

Andrea Omicini

Luca Padovani

Claudio Sacerdoti Coen

Davide Sangiorgi

Mirko Viroli