Mathematicians do not discover, they invent. (Ludwing Wittgenstein)

Handy guide to modern science: if it's green or it wriggles, it's biology; if it stinks, it's chemistry; if it doesn't work, it's physics; if it's incomprehensible, it's mathematics; if it doesn't make sense, it's either economics or psycology. (Arthur Bloch)

A mathematician is a blind man in a dark room looking for a black cat which isn't there. (Charles Darwin)

The difference between theory and practice is greater in practice than in theory. (Colin Hirsch)

A problem is only a chance that we have to do better. (Duke Ellington)

A good player is always lucky. (Jose Raùl Capablanca)

Life of punctual people is a hell of undeserved loneliness. (Stefano Benni)

My visitors

Giuseppe Perelli's Home Page

About me


Photo by AnxRubia - Copyright © 2012Welcome to my website! My name is Giuseppe Perelli, I am Research Assistant at the Department of Computer Science, in Oxford University, enrolled in the RACE project and, so, working under the supervision of Prof. Dr. Michael Wooldridge.
From March 2012 to February 2015, I have been PhD Student in
Computer Science at the University of Naples "Federico II", working under the supervision of Prof. Dr. Aniello Murano. During this period, from August 2013 to March 2014, I have been visiting as research scholar the Department of Computer Science at Rice University in Houston, Texas, USA, working under the supervision of Prof. Dr. Moshe Y Vardi.

In October 2011, I got the Master degree in Mathematics at University of Naples "Federico II", working on a thesis titled "Bounded Model Properties for Strategy Logic Fragments", developed under the supervision of Prof. Dr. Aniello Murano, for which the "Premio Tesi 3+2 2012" has been awarded by "Associazione Italiana di Logica e sue Applicazioni" (AILA) as one of the two best italian master theses in logics. Part of the results contained in my thesis appears in a few works joint with Dr. Fabio Mogavero, Prof. Dr. Aniello Murano, and Prof. Dr. Moshe Y. Vardi.
In December 2008, I received the Bachelor's degree in Mathematics at University of Naples "Federico II", discussing a thesis in mathematical physics titled "Modello della corda vibrante con applicazioni agli strumenti musicali", developed under the supervision of Prof. Dr. Francesca Visentin.

Photo by AnxRubia - Copyright © 2012

My curriculum: Eng - Ita




Università degli studi di Napoli "Federico II"
Dipartimento di Scienze Fisiche
Sezione di Informatica
Via Cinthia, complesso Monte Sant'Angelo I-80126, Napoli, Italy

Phone: +39-081-6-79277 (not private)

Room: 0F29/A

Institutional email: giuseppe[dot]perelli[at]unina[dot]it

Personal email: perelli[dot]gi[at]gmail[dot]com

Skype: giuseppe[dot]perelli