Welcome to my website! I am Fabio Mogavero, a postdoctoral researcher and teaching assistant in Computer Science at the Computer Science Division (Sezione di Informatica) of the Department of Physical Science (Dipartimento di Scienze Fisiche) of the University of Naples "Federico II" (Università degli Studi di Napoli "Federico II"). In January 2011, I got my Ph.D. in Computer Science from the University of Naples "Federico II". As a Ph.D. student, I worked for three years in the Computer Science Division of the Department of Physical Science at the same university, as a member of the formal-system research group of Prof. Dr. Aniello Murano. During the autumn 2008, I was a visiting graduate student in the Department of Computer Science at the Rice University in Houston, Texas, USA, working 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 in Jerusalem, Israel, working under the supervision of both Prof. Dr. Orna Kupferman and Prof. Dr. Moshe Y. Vardi. I graduated with a Master of Computer Science Engineering in October 2007, working to a thesis on temporal modal logics, titled "Branching-Time Temporal Logic: Theoretical Issues and a Computer Science Application", written under the direction of Prof. Dr. Aniello Murano. In September 2005, I also 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", developed under the supervision of Prof. Dr. Vincenzo Ferone.
Important! I am changing my academic email address. Therefore, the old one "mogavero [at] na [dot] infn [dot] it" is expired and will not be renewed. In the meanwhile, please, use my personal email address "fm [at] fabiomogavero [dot] com", if you want to communicate with me.
My research interests intersect, in particular, the areas of: formal-systems; classical, modal, relevant, and multi-valued logics; syntax and semantics of programming languages; game semantics; application of game theory to decisional problems; automata on finite and infinite objects. At the present time, I focus on decidability and undecidability results in logic theories.
I am co-chair together with Aniello Murano and Moshe Y. Vardi of the First International Workshop on Strategic Reasoning (SR 2013) that will be held in Rome, March 16th-17th, 2013, as a satellite event of ETAPS 2013.
I was member of the organizing committee of GANDALF 2010.
Sezione di Informatica,
Dipartimento di Scienze Fisiche,
Università degli Studi di Napoli "Federico II",
Via Cinthia, Complesso Monte S. Angelo, I-80126, Napoli, Italy.