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.

Former Team Members

---

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

---