Mottoes

The Thought is our Master!

The 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 4, through the authors chains P. Erdös -> N. Francez -> A. Pnueli -> M.Y. Vardi -> F. Mogavero and P. Erdös -> M. Magidor -> S. Kraus -> P.A. Bonatti -> F. Mogavero.

Quotes

"The only thing we can do is to take 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

"Complete disorder is impossible." - Theodore S. Motzkin

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

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.

Links

The Symphony of Science.

Phd Comics.

Contacts