Address: Richard Petersens Plads, 2800 Lyngby, Denmark
eMail: my last name@imm.dtu.dk
About me:
I am an associate professor
at Language-Based
Technology
section, DTU
Informatics, Technical
University of Denmark.
My research interests include: probabilistic models, simulation
reduction, decision algorithms for probabilistic simulation preorders,
abstraction and model checking. I am involved in the following tools:
)