Skip to main content

Giuseppe Perelli

Personal photo - Giuseppe Perelli

Dr Giuseppe Perelli

Research Assistant

Leaving date: 31st May 2018

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.