Difference between revisions of "NewsEntry (2021/10/18)"
From LRDE
Line 1: | Line 1: | ||
{{News |
{{News |
||
− | |title=The LRDE hosts a new |
+ | |title=The LRDE hosts a new PhD student, Antoine Martin, who joins the [[Spot]] team. |
|subtitle=After completing [https://www.epita.fr/nos-formations/diplome-ingenieur/cycle-ingenieur/les-majeures/ 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. |
|subtitle=After completing [https://www.epita.fr/nos-formations/diplome-ingenieur/cycle-ingenieur/les-majeures/ 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 |
|date=2021/10/18 |
Latest revision as of 19:22, 18 November 2021
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 |