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