LRDE LRDE LRDE
  • Home
  • People
  • News
  • Jobs
  • Lrde bulletin
  • Intranet
  • Projects
  • Partnerships
  • Publications
  • LRDE Seminar
  • Life at the LRDE
  • Joining the LRDE
  • Courses at EPITA
  • External courses
  • What links here
  • Related changes
  • User contributions
  • Logs
  • View user groups
  • Special pages
  • Printable version
  • Permanent link
  • Page information
  • Browse properties
  • Browse properties
  • Log in
  • LRDE
  • Home
  • People
  • News
  • Jobs
  • Lrde bulletin
  • Intranet
  • Projects
  • Partnerships
  • Publications
  • LRDE Seminar
  • Life at the LRDE
  • Joining the LRDE
  • Courses at EPITA
  • External courses
  • What links here
  • Related changes
  • User contributions
  • Logs
  • View user groups
  • Special pages
  • Printable version
  • Permanent link
  • Page information
  • Browse properties
  • Browse properties

User

Antoine Martin

From LRDE

  • 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.

Retrieved from "https://www.lrde.epita.fr/index.php?title=User:Amartin&oldid=127246"
  • About LRDE