Difference between revisions of "Antoine Martin"
From LRDE
(Created page with "* email: amartin (at) lrde.epita.fr Home page: https://lrde.epita.fr/~amartin") |
|||
Line 2: | Line 2: | ||
Home page: https://lrde.epita.fr/~amartin |
Home page: https://lrde.epita.fr/~amartin |
||
+ | |||
+ | === Short biography === |
||
+ | |||
+ | PhD student advised by [[User:Adl|Alexandre Duret-Lutz]] and [[User:Renault|Étienne Renault]], working on better PSL to ω-automata translation. |
Latest revision as of 00:54, 12 March 2022
- 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.