Vlad Rusu's Profile

v.jpg

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 hecking, 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

Affiliations

1999 - : Inria
1997 - 1999 : SRI International
1993 - 1997 : University of Nantes

Recent Publications

Topics