Vlad Rusu's Profile


About Vlad Rusu

I did my PhD at the university of Nantes (1993-1996), and was a post-doctoral researcher at SRI International (formerly Stanford Research Institute) in Menlo Park, California in the PVS group. I joined Inria as a permanent researcher in 1999, first in Rennes, and then in Lille. My research interests are formal methods in a broad sense (theorem proving, model checking, model-based testing, algebraic specifications and rewriting) and their applications in software development.

Google Scholar profile (citations, h-index, etc): http://scholar.google.fr/citations?user=uDBCQR8AAAAJ&hl=en


1999 - : Inria (Institut National de Recherche en Informatique et Automatique)
1997 - 1999 : SRI International (formerly, Stanford Research Institute)
1993 - 1997 : University of Nantes

Recent Publications