Claudio Menghi

Claudio Menghi

Assistant Professor/RTDB

Dipartimento di Ingegneria gestionale, dell'informazione e della produzione,
University of Bergamo

And

Adjunct Professor

Department of Computing and Software,
McMaster University

Biography

I received my BSc and MSc degrees in computer science from the Politecnico di Milano where I later obtained my Ph.D. degree under the supervision of Prof. Carlo Ghezzi in 2015. From 2017 to 2018, I was a Postdoctoral Researcher at the University of Gothenburg and Chalmers. From 2018 to 2021 I was a Research Associate at the Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg. From 2021 to 2022 I was an Assistant Professor at McMaster University. From 2023 I am an Assistant Professor at University of Bergamo and an Adjunct Professor at McMaster University.

My research interests are in the field of formal methods and software engineering, with specific interests in cyber-physical systems, robotics, and formal verification. I have spent several years doing research with industry and applying formal methods and software engineering techniques in real-world and industrial contexts. In particular, I have led research projects with four industry partners: BOSCH and PAL Robotics in the robotics domain, and LuxSpace and QRA Corp in the aerospace and cyber-physical domain.

Interests

  • Cyber-physical systems
  • Software Engineering
  • Formal Methods

Education

  • PhD in Informatics, 2015

    Politecnico di Milano

  • MSc in Computer Engineering, 2012

    Politecnico di Milano

  • BSc in Computer Engineering, 2010

    Politecnico di Milano

Research Philosophy

My research interests are in the areas of formal methods, automated verification and software engineering. I believe that the interplay among these research areas is one of the keys to have successful and impactful research. Software engineering concerns the systematic application of engineering approaches to the development of software. As such it should rely on rigorous mathematically founded techniques. Formal methods are mathematical approaches to software and system development that support the rigorous specification, design, and verification of computer systems. As such they should consider realistic software engineering assumptions. For this reason, I support cross-disciplinary research and collaborations among research fields and groups.

Having a close collaboration with industry allows the definition of research problems (and assumptions) of practical relevance and enables a realistic and credible evaluation of the research. Furthermore, collaboration with industry highlights the limitations of current research solutions and leads to new research challenges. For this reason, I support cross-cutting research that serves as a bridge between basic and applied research, and foster the development of innovative systems. To this end, I worked in close collaboration with industrial partners that allowed me to align my research with realistic assumptions. I had worked in collaboration with robotic companies, BOSCH in Germany, and PAL Robotics in Spain; an aerospace company, LuxSpace in Luxembourg; and one tool vendor for the aerospace and defense sectors, QRA Corp in Canada.

Tools

ARIsTEO

generates faulty test inputs for Compute Intensive Cyber-Physical Models.

CHIA

supports developer in the iterative top-down development of state machines.

EPIcuRus

an assumption generation approach for CPS.

PSALM

creates complex robotic missions using on a set of mission specification patterns

SOCRaTEs

generates automated test oracles for Cyber Physical System models.

TACK

checks Metric Interval Temporal Logic (MITL) properties on Timed Automata (TA).

Contact