About Me

I’m an Assistant Professor (RTT) in Computer Science at University of Udine (Italy).

Research Areas

• automata theory
• temporal logics
• formal verification
• integration between formal methods and machine learning

---

• Generated with Jekyll
• • researcher theme
• • © Copyright 2026 Luca Geatti