Vlad RUSU
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:
Pour Alain