User

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.