Antoine Martin
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
- email: amartin (at) lrde.epita.fr
Home page: https://lrde.epita.fr/~amartin
Short biography
PhD student advised by Alexandre Duret-Lutz and Étienne Renault, working on better PSL to ω-automata translation.