VMCAI 2026
Mon 12 - Tue 13 January 2026 Rennes, France
co-located with POPL 2026
POPL 2026 (series) / VMCAI 2026 (series) / Gaëtan Staquet
Gaëtan Staquet

Registered user since Tue 30 Sep 2025

Name:Gaëtan Staquet
Country:France
Affiliation:Nantes Université - École Centrale Nantes - CNRS - LS2N - UMR 6004
Personal website: https://www.gaetanstaquet.com
GitHub: https://github.com/DocSkellington
Research interests:Formal methods, automata theory, automata learning

Contributions

Show activities from other conferences

POPL 2026-profile
View general profile