User

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.