NewsEntry (2021/10/18)
From LRDE
| Title | The LRDE hosts a new PhD student, Antoine Martin, who joins the Spot team. |
|---|---|
| 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 |