Catta

Davide Catta is a research engineer in computer science at Télécom Paris. His research focuses on the relationship between logic and games. More precisely, the relation between games and the formal verification of multi-agent systems, and the relation between games and the formal semantics of programming languages.