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@irisa.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 am now holding a research position at Inria
in
the Vertecs group. This is within
the Irisa institute located in the beautiful
city of Rennes, France.
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