Luca Geatti (Preferred)
Luca Geatti
Pronouns: he/him
Assistant Professor, Computer Science, University of Udine
- Joined August 2024
Names
Emails
****@uniud.it (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Computer Science, University of Udine (uniud.it)
2023 – Present
Advisors, Relations & Conflicts
Expertise
automata theory
2018 – Present
formal methods
2018 – Present
runtime verification
2018 – Present
model checking
2018 – Present
temporal logic
2018 – Present