Arnaud Carayol

Arnaud Carayol is a Professor of Computer Science at Gustave Eiffel University, where he has been working since September 2020. He is a member of the Models and Algorithms team at the Laboratoire d'informatique Gaspard Monge (LIGM). Prior to his current position, he was a full-time researcher at CNRS.

His research focuses on theoretical aspects of computer science, with particular emphasis on:

• Automata Theory
• Formal Languages
• Logic in Computer Science
• Model Checking
• Pushdown Systems
• Games on Infinite Structures

Professor Carayol's recent publications demonstrate a consistent focus on automata theory, particularly on infinite trees and pushdown systems, with applications to verification and game theory. His work often explores the connections between formal languages, logic, and computational models, with a particular emphasis on decidability and complexity questions. The trend shows increasing sophistication in handling higher-order systems and probabilistic elements in computational models.

He has served on program committees for numerous prestigious conferences including LICS, STACS, ICALP, and FOSSACS. Notably, he was PC Co-Chair and organizer for CIAA 2017 and PC Chair and organizer for FICS 2013.

Professor Carayol has led significant research projects:

• Head of project AMIS (2011-2014) financed by ANR
• Head of project VAPF (2011-2012) financed by Digiteo
• Member of project LiFoundations (2018-2022)

His research continues to advance our understanding of theoretical models in computer science, with implications for program verification, formal methods, and computational theory.