Claudio Menghi

Claudio Menghi is an Associate Professor at the University of Bergamo (Italy) and an Adjunct Professor at McMaster University (Canada). He was an Assistant Professor at the University of Bergamo and McMaster University (Canada), a Research Associate at the University of Luxembourg (Luxembourg), a Post-doctoral Researcher at Chalmers | University of Gothenburg (Sweden), and has a PhD at Politecnico di Milano (Italy). His research interests are in software engineering, with a special interest in cyber-physical systems, and formal verification.