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.
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--2011
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 (MSc)
Position: PhD student
Affiliation: DSS group at Saarland University
Participant: 2009--2010
Name: Falko Dulat
Position: Student assistant
Affiliation: MOVES group at RWTH Aachen
Participant: 2004--2005
Name: Maneesh Khattri (MSc)
Position: PhD student
Affiliation: OUCL group at Oxford University
Participant: 2006--2007
Name: Dr. Ir. Sven Johr
Position: Former PhD. Student
Affiliation: DSS group at Saarland University
Participant: 2006--2007
Name: Marcel Oldenkamp (Msc)
Position: Former master student
Affiliation: FMT group at The University of Twente
Participant: 2005--2006
Name: Tim Kemna (Msc)
Position: Former master student
Affiliation: FMT group at The University of Twente
Participant: 2007--2007
Name: Varun Aggarwala
Position: B. Tech Student
Affiliation: CSE Dept. IIT Guwahati
Participant: 2007--2008
Name: Christina Jansen
Position: Student assistant
Affiliation: MOVES group at RWTH Aachen
Participant: 2008--2009
Name: Chitra Hapsari Ayuningtyas
Position: Student assistant
Affiliation: MOVES group at RWTH Aachen
