NewsEntry (2016/09/01)2
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 | 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 |