Speaker: Prof. Claudio Menghi
October 10th, 2025 | 11.30 am
DEIB - Beta Room (Bld. 24)
On line by Teams
Contact: Prof. Giovanni Quattrocchi
Abstract
On
October 10th, 2025 at 11.30 am will start the second edition of
DEEPSE Forum Seminars series titled "
Humans versus Machines: The Battle for Supporting Cyber¬-Physical Systems Design".
Developing cyber¬-physical systems requires engineers to detect and fix design flaws before their deployment. This activity is complex, error-prone, and expensive. Engineers often rely on machines for support in system design since, unlike humans, they can perform massive computations in a limited time. However, machines do not possess the reasoning capabilities typical of humans. This talk will reflect on the "Humans versus Machines" dilemma. It will argue that developing effective techniques that combine human and machine capabilities is necessary to support the design of robotics and cyber¬-physical systems applications of the future. The talk will present recent techniques that rely on this idea, discuss results, and describe lessons learned.
Short Bio
Prof. Menghi (Senior Member, IEEE) received their Ph.D. from Politecnico di Milano (Italy). They were a Postdoctoral Researcher at Chalmers | University of Gothenburg (Sweden), an Associate Researcher at the University of Luxembourg (Luxembourg), and an Assistant Professor at McMaster University (Canada). Prof. Menghi is an Associate Professor at the University of Bergamo (Italy) and an Adjunct Professor at McMaster University (Canada). Their research interests lie in software engineering, with a special interest in cyber-physical systems (CPS), and formal verification. Claudio Menghi received the NSERC Discovery Grants and NSERC DGECR - Discovery Launch Supplement. They received the Formal Aspects of Computing (FAC) Outstanding Paper Award (2021) and the ESEC/FSE ACM SIGSOFT Distinguished Paper Award (2019). They got the IEEE Computer Society TCSE Synergy Award (2024) as a member of the McMaster Center for Software Certification, McSCert (Canada), the ISSS Scientific Achievement Award (2023) in collaboration with researchers from Critical Systems Labs, University of Toronto, and CERN. They received the IEEE/ACM Journal of Software and Systems Modeling (SoSyM) Best Reviewer Award (2023), the IEEE/ACM International Conference on Automated Software Engineering Distinguished Reviewer Award (2022).
