NewsEntry (2016/09/01)2

From LRDE

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