wiki:People/FormerTeamMembers

Version 5 (modified by Dr. Ivan S. Zapreev, 11 years ago) (diff)

Removed "content:"

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

Former Team Members


Participant: 2007--2007

Name: Varun Aggarwala

Position: B. Tech Student

Affiliation: CSE Dept. IIT Guwahati, MOVES group at RWTH Aachen (Internship)


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