Research
Keywords
: Reactive & hybrid systems, deductive & algorithmic verification, testing & abstraction.
1992-93: MSc Thesis.
1993-1996: PhD Thesis.
1996-1997: Research Assistant.
1997-1999: Post-doctoral Fellow
1999-: present : Research Position at INRIA
Publications
Vlad Rusu
1999-03-28