Giuseppe Perelli

Dr Giuseppe Perelli

Research Assistant

Leaving date: 31st May 2018

Completed Projects:

• RACE

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/

Activities

• Complexity and equilibria
• Logics for strategic reasoning
• Concurrency in games
• Rational verification