NewsEntry (2016/09/01)2

From LRDE

Revision as of 14:48, 2 September 2016 by Daniela Becker (talk | contribs) (Created page with "{{News |title=The LRDE hosts a new member, Maximilien Colange, assistant-professor who joins the Spot team. |subtitle=Holding a Ph.D. from [http://www.upmc.fr University P...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Title The LRDE hosts a new member, Maximilien Colange, assistant-professor who joins the Spot team.
Sub-Title Holding a Ph.D. from University Paris VI his research focuses on formal verification of concurrent systems. He is particularly interested in real-time constrained systems, and in infinite words automata.
Date 2016/09/01
Retrieved from "https://www.lrde.epita.fr/index.php?title=NewsEntry_(2016/09/01)2&oldid=91035"