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

---

People/CurrentTeamMembers

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

---