wiki:People

Version 21 (modified by Dr. Ivan S. Zapreev, 10 years ago) (diff)

Added E. Moritz Hahn

TracNav?

MRMC People

Currently, the tool is being developed in the Software Modeling and Verification (MOVES) group at RWTH Aachen University, Germany under the guidance of Prof. Dr. Ir. Joost-Pieter Katoen.

Before 2008, the tool development was concentrated in the Formal Methods & Tools (FMT) group at the University of Twente, The Netherlands.

Current Team Members


Participant: 2004--present

Name: Prof. Dr. Ir. Joost-Pieter Katoen

Position: Full professor

Affiliation: MOVES group at RWTH Aachen


Participant: 2007--present

Name: Prof. Dr. Ir. Holger Hermanns

Position: Full professor

Affiliation: DSS group at Saarland University


Participant: 2007--present

Name: Dr. David N. Jansen

Position: Assistant professor

Affiliation: ITA group at Radboud University Nijmegen


Participant: 2004--present

Name: Dr. Ivan S. Zapreev

Position: Postdoc

Affiliation: MAS2.2 group at Centrum voor Wiskunde en Informatica


Participant: 2008--present

Name: Viet Yen Nguyen (MSc)

Position: PhD student

Affiliation: MOVES group at RWTH Aachen


Participant: 2007--present

Name: E. Moritz Hahn (Ir.)

Position: PhD student

Affiliation: DSS group at Saarland University


Participant: 2007--present

Name: Christina Jansen

Position: Student assistant

Affiliation: MOVES group at RWTH Aachen