Mottoes

Thought is our Master.

Life is a moment nearly irrelevant. The name, the glory in the future, is everything.

Remind what Ulixes said

“Considerate la vostra semenza, fatti non foste a viver come bruti ma per seguir virtute e canoscenza.” - Dante Alighieri, Divina Commedia, Inferno, Canto XXVI, 118-120.

Erdös number

At the present time, my Erdös number is at most 3, through the author chain P. Erdös –> J.H. Spencer –> M.Y. Vardi –> F. Mogavero.

Quotes

“Thought is only a flash between two long nights, but this flash is everything.” - Henri Poincare

“We must know. We will know.” - David Hilbert

“Complete disorder is impossible.” - Theodore S. Motzkin

“Money is a non-well-founded fixed point.” - Moshe Y. Vardi

“We cannot win. The only thing we can do is to keep SF's score low.” - Paul Erdös

“Any fool can make things bigger, more complex and more violent. It takes a touch of genius and a lot of courage to move in the opposite direction.” - Albert Einstein

“A scientist worthy of his name, about all a mathematician, experiences in his work the same impression as an artist; his pleasure is as great and of the same nature.” - Henri Poincare

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.