User

Antoine Martin

From LRDE

Revision as of 00:54, 12 March 2022 by Antoine Martin (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
  • 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.