Welcome to my website! I'm Giuseppe Perelli, an italian PhD student in Computer Science from the University of Naples "Federico II", working under the supervision of Prof. Dr. Aniello Murano.
I have been a visiting research scholar in the Department of Computer Science at the 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
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)
Institutional email: giuseppe[dot]perelli[at]unina[dot]it
Personal email: perelli[dot]gi[at]gmail[dot]com