Skip to main content

Dr. Claudio Menghi

Assistant Professor

Department of Computing and Software

Formal Methods; Software Engineering; Automated Verification


My research interests are on the definition of novel and innovative techniques that support engineers in developing safe CPS. They aim at addressing the limitations of academic techniques by dramatically changing and improving current CPS development practices by providing efficient and effective automated analysis tools. These tools will enable an analysis­ driven development of CPS that relies on the pervasive interaction between machine and human capabilities. Analysis tools will continuously support humans by analyzing the CPS and providing results and information for their decision­making. Humans' decisions and design changes will be driven by this information and validated by further analyses.

Further information is available at