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.
I got my PhD in Computer Science in in 2015 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 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 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.
Photo by AnxRubia - Copyright © 2012
University of Oxford
Department of Computer Science
Wolfson Building, Parks Road,
Oxford OX1 3QD
Phone: 01865 610727 (not private)
Institutional email: giuseppe[dot]perelli[at]cs[dot]ox[dot]ac[dot]uk
Personal email: perelli[dot]gi[at]gmail[dot]com