About Me

I’m a postdoc researcher in Computer Science at the Free University of Bozen/Bolzano.

Research Areas

• automata theory
• temporal logics
• automatic synthesis, reactive synthesis
• formal verification

---

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