wiki:People/FormerTeamMembers

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

Added Sven Johr, he worked on CTMDPI stuff

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: 2006--2007

Name: Dr. Ir. Sven Johr

Position: Former PhD. Student

Affiliation: DSS group at Saarland University


Participant: 2007--2007

Name: Varun Aggarwala

Position: B. Tech Student

Affiliation: CSE Dept. IIT Guwahati


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: 2004--2005

Name: Maneesh Khattri (MSc)

Position: PhD student

Affiliation: OUCL group at Oxford University


Attachments (4)

Download all attachments as: .zip