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 4, through the authors chain P. Erdös -> M. Magidor -> S. Kraus -> P. Bonatti -> F. Mogavero.

Latest events

Submission

15/09/2008 - I submitted my 2nd article, titled "Graded Computation Tree Logic" (with A. Bianco and A. Murano). (technical report)

08/10/2008 - I submitted my 3rd article, titled "Branching-Time Temporal Logics with Minimal Model Quantifiers" (with A. Murano).

-->

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.