Luca Geatti

Assistant Professor, Computer Science, University of Udine
Joined
August 2024

Names

Luca Geatti (Preferred)

Emails

****@uniud.it (Confirmed)

Personal Links

Career & Education History

Assistant Professor
Computer Science, University of Udine (uniud.it)
2023 – Present

Advisors, Relations & Conflicts

Coauthor
Michele Chiari
2024 – Present
Coauthor
Marco Montali
2023 – Present
Coauthor
Sarah Winkler
2023 – Present
Coauthor
Alessandro Gianola
2022 – Present
Coauthor
Andrea Mazzullo
2022 – Present
Coauthor
Alessandro Artale
2022 – Present
Coauthor
Nicola Gigante
2018 – Present
Coauthor
Angelo Montanari
2018 – Present
Coauthor
Alessandro Cimatti
2018 – Present
Coauthor
Stefano Tonetta
2018 – Present

Expertise

automata theory
2018 – Present
formal methods
2018 – Present
runtime verification
2018 – Present
model checking
2018 – Present
temporal logic
2018 – Present

Publications

Co-Authors