A younger me, FM! Welcome to my academic and personal website! I am Fabio Mogavero, a tenure-track assistant professor in theoretical computer science at the Department of Electrical Engineering and Information Technology of the Università degli Studi di Napoli Federico II.

This website is constantly under refactoring, hence, some pages might not be currently accessible. For further information one can refer to my (outdated) orcid webpage, dblp page, curriculum vitae, publication page or send me a message via email.


My main research interests intersect the areas of formal specification, verification, and synthesis of systems, games in theoretical computer science, automata on finite and infinite objects, decidability and undecidability of logic languages, temporal and strategic logics, and database theory. At the present time, I am focusing on three specific topics: decidability and undecidability of first-order logic fragments; decision procedures for logics of strategies; efficient algorithms for the solution of parity and mean-payoff games.

Short Bio

At the end of January 2011, I completed all my academic studies at the Università degli Studi di Napoli Federico II, by earning a Ph.D. in Computer Science, after defending a thesis titled “Logics in Computer Science”. As a Ph.D. candidate, I have been a member for three years of the Formal-System Research Group of the Computer Science Section with in the Department of Physics. I graduated with a Master of Computer Science Engineering in October 2007, developing a thesis on temporal logics, titled “Branching-Time Temporal Logic: Theoretical Issues and a Computer Science Application”. Before that, in September 2005, I received the Bachelor of Science degree in the same major, discussing a thesis on number factorization methods, titled “Sui Metodi e gli Algoritmi di Fattorizzazione”. During the autumn 2008, I was a visiting graduate student in the Department of Computer Science at the Rice University, studying under the supervision of prof. dr. Moshe Y. Vardi. For a period in the winter 2010, I was also a visiting graduate student in the School of Computer Science and Engineering at the Hebrew University, working under the supervision of both prof. dr. Orna Kupferman and visiting prof. dr. Moshe Y. Vardi. From July 2011 to October 2014, I worked as a postdoctoral researcher at the Department of Physics of my Alma mater, after which, as a free postdoctoral researcher, I moved to the Department of Mathematics and Applications, until January 2016. From July 2015 to June 2017, I have been a research and teaching assistant at the Department of Computer Science of the University of Oxford, collaborating with prof. dr. Michael Benedikt. Between July and December 2017, I worked as a research assistant at the Department of Computer Science of the Università degli Studi di Verona, collaborating with prof. dr. Massimo Merro. From September 2017 to January 2019, I was also a temporary adjunct professor at the same university, teaching an introductory class in logic. Since the end of 2017, I am back at the Università degli Studi di Napoli Federico II.

Forthcoming Events

ICTCS 2024 (Program Committee)
MOVEP 2024 (Program Committee)

AAMAS 2024 (Program Committee)
IJCAI 2024 (Program Committee)

Past Events

ASPAI 2019/2020 (Program Committee)
FMBC 2019 (Program Committee)
IJCAI 2019/2020/2021/2023 (Program Committee)
LAMAS&SR 2022 (co-Chair & Organizer)
LC 2022 (Invited Talk)
OVERLAY 2021 (Program Committee)
VardiFest 2022 (Invited Contributed Talk)

AAMAS 2016/2019/2020 (Program Committee)
CILC 2017 (Program Committee)
GANDALF 2022/2023 (Program Committee)
IJCAI-ECAI 2022 (Program Committee)
LAMAS&SR 2023 (Program Committee)
OVERLAY 2023 (co-Chair)
SR 2013/2014/2015 (co-Chair)