NewsEntry (2021/10/18)


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