wiki:People

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

Added "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.

Content:

  1. Current Team Members
  2. Former Team Members

Current Team Members


Participant: 2004--present

Name: Prof. Dr. Ir. Joost-Pieter Katoen

Position: Full professor

Affiliation: MOVES group at RWTH Aachen


Participant: 2004--present

Name: Dr. Ivan S. Zapreev

Position: Postdoc

Affiliation: MAS2.2 group at Centrum voor Wiskunde en Informatica


Participant: 2007--present

Name: Christina Jansen

Position: Student assistant

Affiliation: MOVES group at RWTH Aachen


Participant: 2007--present

Name: Dr. David N. Jansen

Position: Assistant professor

Affiliation: ITA group at Radboud University Nijmegen


Participant: 2008--present

Name: Viet Yen Nguyen (MSc)

Position: PhD student

Affiliation: MOVES group at RWTH Aachen


Former Team Members