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 and Prof. Dr Adriano Peron.
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