Skip to main content

Giuseppe Perelli

Personal photo - Giuseppe Perelli

Dr Giuseppe Perelli

Research Assistant

E: < at >
E: giuseppe.perelli < at >
T: 01865 273 862

Wolfson Building, Parks Road, Oxford OX1 3QD

Completed Projects:


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.