Welcome to my academic and personal website!
I am Fabio Mogavero, an associate 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.
Research
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
AAMAS 2025 (Program Committee)
Past Events
ASPAI 19/20 (Program Committee)
FMBC 19 (Program Committee)
ICTCS 2024 (Program Committee)
IJCAI-ECAI 22 (Program Committee)
LAMAS&SR 23 (Program Committee)
MOVEP 24 (Program Committee)
OVERLAY 23 (co-Chair)
VardiFest 22 (Invited Contributed Talk)
AAMAS 16/19/20/24 (Program Committee)
CILC 17 (Program Committee)
GANDALF 22/23 (Program Committee)
IJCAI 19/20/21/23/24 (Program Committee)
LAMAS&SR 22 (co-Chair & Organizer)
LC 22 (Invited Talk)
OVERLAY 21 (Program Committee)
SR 13/14/15 (co-Chair)
Contacts
Academic & personal emails:
fabio [dot] mogavero [at] unina [dot] it
fm [at] fabiomogavero [dot] com
Skype contact:
fabiomog