About me
Welcome to my website!
I am Fabio Mogavero, a third(last)-year Ph.D. student in Computer Science of the
Department of Mathematics at the
University of Naples "Federico II".
Currently, I am working 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 also 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.
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.
Research
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.
Events
I am member of the organizing committee of GANDALF 2010.
Contacts
Postal address:
Sezione di Informatica,
Dipartimento di Scienze Fisiche,
Università degli Studi di Napoli "Federico II",
Via Cinthia, Complesso Monte S. Angelo, I-80126, Napoli, Italy.
Phone: +39-081-6-79277,
Fax: +39-081-6-76346,
Academic email:
mogavero [at] na [dot] infn [dot] it,
Personal email:
fm [at] fabiomogavero [dot] com,
Skype contact: fabiomog,
Room: 0F29/A.