NewsEntry (2019/03/04)
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Title | Adrien Pommellet, assistant professor, joins LRDE's Spot team. |
---|---|
Sub-Title | Holding a PhD on pushdown model checking from Université Paris 7, his research interests gravitate naturally towards automata theory and formal verification. He will contribute to the Spot team's projects, TickTac in particular. |
Date | 2019/03/04 |