Catta

Davide Catta est ingénieur de recherche en informatique à Télécom Paris. Ses intérêts de recherche portent sur le rapport entre logique et jeux. Plus précisément, le rapport entre jeux et vérification formelle des systèmes multi-agents, et le rapport entre jeux et sémantique formelle des langages de programmation.