wiki:People/FormerTeamMembers

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

Fixing pictures

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.

Former Team Members


Participant: 2007--2007

Name: Varun Aggarwala

Position: B. Tech Student

Affiliation: CSE Dept. IIT Guwahati


Participant: 2006--2007

Name: Marcel Oldenkamp (Msc)

Position: Master student

Affiliation: FMT group at The University of Twente


Participant: 2005--2006

Name: Tim Kemna (Msc)

Position: Master student

Affiliation: FMT group at The University of Twente


Participant: 2004--2005

Name: Maneesh Khattri (MSc)

Position: PhD student

Affiliation: FMT group at The University of Twente


Attachments (4)

Download all attachments as: .zip