Difference between revisions of "NewsEntry (2016/09/01)2"
From LRDE
(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...") |
|||
Line 2: | Line 2: | ||
|title=The LRDE hosts a new member, Maximilien Colange, assistant-professor who joins the [[Spot]] team. |
|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 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. |
|subtitle=Holding a Ph.D. from [http://www.upmc.fr 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 |
|date=2016/09/01 |
||
}} |
}} |
Latest revision as of 14:49, 2 September 2016
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 |