NewsEntry (2021/10/18)
From LRDE
Revision as of 19:08, 18 November 2021 by Daniela Becker (talk | contribs)
| Title | The LRDE hosts a new member, Antoine Martin, 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 |