NewsEntry (2021/10/18)
From LRDE
Revision as of 18:08, 18 November 2021 by Daniela Becker (talk | contribs) (Created page with "{{News |title=The LRDE hosts a new member, Baptiste Esteban, who joins the Spot team for his PhD studies. |subtitle=After completing [https://www.epita.fr/nos-formations/d...")
| Title | The LRDE hosts a new member, Baptiste Esteban, who joins the Spot team for his PhD studies. |
|---|---|
| Sub-Title | After completing EPITA's IMAGE and RDI double major, Antoine is back at LRDE for his PhD. Having worked on parallel algorithms for automata and model checking, then on a model checker for Go programs, he will now focus on efficient translation of industrial temporal logics to ω-automata. |
| Date | 2021/10/18 |