NewsEntry (2019/03/04)

From LRDE

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