Irisa / Inria , projet Vertecs
Campus de Beaulieu, F-35042 Rennes Cedex, France
Tél : (+33) (0) 2 99 84 75 17 - fax : (33) 99 84 71 71
Email: Vlad.Rusu@inria.fr

I was a PhD student in Computer Science from 1993 to 1996 at the University of Nantes ( IRCyN ) in the Electre project where I worked on using hybrid automata and temporal logic to verify Electre programs. After my PhD I was an assistant at the Nantes Technical Institute (IUT) in the electrical engineering department. Next, I went to do an 18-months post-doct at SRI International in Menlo Park, California in the PVS group. I have been a researcher at Inria Rennes in the Vertecs group.In October 2008 I moved to Inria Lille in the DaRT group. I will write a new Web page one of these days...

Research Interests:

Formal verification and testing of reactive, real-time, and hybrid systems. Here they are, organized by year and my status at that time: