معرفی
Luca Geretti-Dep is a Temporary Assistant Professor in the Department of Computer Science at the University of Verona. His primary research focus is formal verification of hybrid nonlinear systems, with applications in robotic surgical systems. He collaborates with the robotics group and leads the Ariadne software package for hybrid system reachability analysis. His additional expertise includes neural networks, parallel computing, and sensor networks.
Teaching responsibilities include modules on Operating Systems, Computer Architecture, and related topics across multiple academic years. He holds leadership roles in university committees, such as the Computer Science Teaching Committee and Department Council.
Research affiliations include the ForMe group (Formal Methods for Engineering Systems) and participation in projects like 'Formal Methods for Verification of Hybrid Systems' and 'Control for Coordination of Distributed Systems'. He contributes to laboratories such as OPDATE SPY (Formal Methods Lab) and has connections to spin-off companies like 3Dflow s.r.l.