wiki:People

TracNav?

MRMC People

http://www.mrmc-tool.org/images/people.gif

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.

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--2011

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


http://depend.cs.uni-sb.de/uploads/pics/portrait-emh-sc.jpg

Participant: 2007--present

Name: E. Moritz Hahn (MSc)

Position: PhD student

Affiliation: DSS group at Saarland University


Participant: 2009--2010

Name: Falko Dulat

Position: Student assistant

Affiliation: MOVES group at RWTH Aachen



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


Participant: 2008--2009

Name: Chitra Hapsari Ayuningtyas

Position: Student assistant

Affiliation: MOVES group at RWTH Aachen


Last modified 8 years ago Last modified on Jan 12, 2011, 9:19:01 AM