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.
I got my PhD in Computer Science 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.


My research interests intersects the areas of formal methods and game theory. In particular, I am focusing on: Formal specification, verification, and synthesis of systems; Decidability and expressiveness of logic-based languages; Game theory for computer science; Equilibrium checking and Rational synthesis for infinite duration games.

A copy of my CV can be found here

Photo by AnxRubia - Copyright © 2012


University of Oxford
Department of Computer Science
Wolfson Building, Parks Road,
Oxford OX1 3QD
United Kingdom

Phone: +44 1865 28 3670 (not private)

Room: 012

Institutional email: giuseppe[dot]perelli[at]cs[dot]ox[dot]ac[dot]uk

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