Once logged in, you can add biography in the database
research scientist
Merz, Stephan was born on July 12, 1963.
PhD, University of Munich.
Senior researcher, Inria.
Research in formal verification.
IFIP WG 2.2
Married.