Luca Geatti

Curriculum Vitae

01/10/2026 - ongoing: Assistant Professor (RTT) in Computer Science at University of Udine (Italy).
27/02/2023 - 01/10/2026: Research Associate (RTD-A) at the University of Udine.
01/11/2022 - 26/02/2023: postdoc position at the University of Udine.
01/11/2021 - 31/10/2022: postdoc position at the Free University of Bozen/Bolzano.
11/03/2022: obtained the PhD with honors (cum laude) from University of Udine, defended my PhD Thesis.
01/11/2018 - 31/10/2021: PhD student at the Embedded System Unit in FBK (Fondazione Bruno Kessler) and at University of Udine.
Received my master degree in Computer Science at University of Udine with final marks 110/110 (cum laude) on March 15th, 2018. The title of my thesis was “One-pass and tree-shaped tableaux for timed temporal logics” and my supervisor was Angelo Montanari.
Born on 23/10/1993 in Udine, Italy.

PhD Award 2023 for the scientific area at University of Udine.
Honorable mention for the Marco Cadoli Award 2023 from the Italian Association for Artificial Intelligence (AIxIA).
Best Paper Award at SEFM 2021 (the 19th International Conference on Software Engineering and Formal Methods) for the paper “Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis”.
Award for the best graduated student of the master degree in Computer Science of University of Udine in the academic year 2016-2017.
Winner for the Department of Mathematics, Computer Science, and Physics of University of Udine of the award made available by the “Federazione delle Banche di Credito Cooperativo del Friuli Venezia Giulia” for my master thesis.

(2026) Chair of ICTCS’26, AAAI-26, ACL’26, IJCAI-ECAI’26, KR’26, RuleML-RR’26, SETTA’26, ICLP-26 (Doctoral Consortium)
(2025) IJCAI’25, KR’25, ECAI’25, RuleML+RR 2025, ICTCS 2025, ICLP Doctoral Consortium, SETTA’25, ICTAI’25
(2024) IJCAI’24, ECAI’24, KR’24
(2023) IJCAI’23, ICLP’23 (Doctoral Consortium), GandALF’23 (Organizing Committee), Overlay’23
(2022) Co-chair of Overlay’22
(2021) Overlay’21

(2026) Theoretical Computer Science (TCS), TOSEM, CAV’26, FoSSaCS’26, ICALP’26, TASE’26
(2025) Information & Computation, SoSyM
(2024) JLAMP, JALC, Logics, Information Systems
(2023) JAAMAS, JAIR, JLAMP, IJCAI’23, ICLP’23 (Doctoral Consortium), GandALF’23 (Organizing Committee), Overlay’23
(2022) STACS’22, SWAT’22, Journal of Innovations in Systems and Software Engineering
(2021) TACAS’21, IEEE-ICTAI’21, NFM’21
(2020) TACAS’20, ECAI’20, CONCUR’20, FSTTCS’20, GandALF’20, NFM’20, RuleMLRR’20
(2019) IJCAI’19, SEFM’19

Generated with Jekyll

• researcher theme