Welcome to Fabio Mogavero's web site!
Fabio Mogavero is a first-year Ph.D. student in Computer Science at
Computer Science Division of the
Department of Physical Science at
University of Naples "Federico II", who currently works with
Prof. Dr. Aniello Murano.
His research interests intersect, in particular, the areas of formal systems, classical, multi-valued, and
modal logics, syntax and semantics of programming languages, and automata on finite and infinite objects.
At the present time, he focuses on decidability and undecidability results in logic theories.
He graduated with a Master of Computer Science Engineering in October 2007, working to his thesis on temporal
modal logics, titled "Branching-Time Temporal Logic: Theoretical Issues and a Computer Science Application",
under the direction of Prof. Dr. Aniello Murano.
In September 2005, he has 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.