Dara Ly is a Phd student at the Université d’Orléans, France, and he is also working for CEA LIST. His SSERL advisor is Frédéric Loulergue, and he is co-advised by Julien Signoles and Nikolai Kosmatov at CEA LIST. He works on the formal verification of a tool for runtime assertion checking.
Dara Ly
