Skip to main content

Giuseppe Perelli

Personal photo - Giuseppe Perelli

Dr Giuseppe Perelli

Research Assistant

E: perelli.gi < at > gmail.com
E: giuseppe.perelli < at > cs.ox.ac.uk
T: 01865 273 862

Wolfson Building, Parks Road, Oxford OX1 3QD

Completed Projects:

Interests

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.

Biography

http://www.giuseppeperelli.altervista.org/