معرفی
Luca Geretti is a Temporary Assistant Professor in the Department of Computer Science at the University of Verona. His academic sector is INFO-01/A - Informatics, with research focus on Web and information systems, database systems, information retrieval and digital libraries, and data fusion.
His primary research area is formal verification, particularly focused on non-linear hybrid systems. Theoretically, he is interested in numerical analysis for solving dynamic systems governed by ordinary differential equations. Application-wise, he focuses on verification of robotic systems for assisted surgery through collaboration with the departmental robotics group. He is responsible for the Ariadne software package (http://www.ariadne-cps.org) for reachability analysis of hybrid systems. His additional competencies include neural networks, parallel and distributed computing, and sensor networks.
Dr. Geretti is a member of the ForMe research group (Formal Methods for the Design of Engineering Systems), which applies formal methods to modeling, verification and synthesis of engineering systems ranging from timed systems to nonlinear cyberphysical systems.
His teaching portfolio includes multiple courses on Operating Systems and Computer Architecture for the Bachelor's degree in Computer Science across various academic years from 2017/2018 through 2025/2026, as well as courses for the Master's degree in Computer Engineering for Robotics and Smart Industry.
He has been involved in several significant research projects including:
- FA&AF L'Agricoltura del Futuro e gli Alimenti Funzionali (started 9/10/20)
- Formal methods for the verification and synthesis of discrete event and hybrid systems (started 2/5/18)
- COREWOOD - Riposizionamento competitivo della filiera del legno (started 11/7/17)
- TEMART - Tecnologie e materiali per la manifattura artistica (started 11/7/17)
- C4C - Control for Coordination of Distributed Systems (started 5/1/08)
- COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems (started 1/1/08)
Administratively, he serves as a member of both the Computer Science Teaching Committee and the Computer Science Department Council. His office is located at Ca' Vignal 2, Floor 1, Room 61, and student reception is by appointment via email.
