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 3, through the authors chain P. Erdös -> J.H. Spencer -> M.Y. Vardi -> 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 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.

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 was member of the organizing committee of GANDALF 2010.

Links

The Symphony of Science, Phd Comics, Abstruse Goose, Xkcd, Eleven dimensions are enough, Putting God in Gödel.

Open Problem Garden, MathOverflow, Complexity Zoo, Complexity Garden, Online Encyclopedia of Integer Sequences.

Gödel's Lost Letter and P=NP, Logic Matters, Theory Matters, Mathematics and Computation, In Theory, The n-Category Café.

Contacts