NewsEntry (2019/03/04)

From LRDE

Revision as of 17:24, 18 March 2019 by Daniela Becker (talk | contribs) (Created page with "{{News |title=Adrien Pommellet, assistant professor, joins LRDE's Spot team. |subtitle=Holding a PhD on pushdown model checking from [https://www.univ-paris-diderot.fr Un...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
Retrieved from "https://www.lrde.epita.fr/index.php?title=NewsEntry_(2019/03/04)&oldid=123177"