|
Team Members
Project leader
Postdoc
-
dr.ing. Anton J. Wijs
Postdoc
Eindhoven University of Technology
BMT \ BMI but located at WIN \ SET
Postal adress: Postbus 513, 5600 MB Eindhoven, The Netherlands
Visiting adress: Den Dolech 2, 5612 AZ Eindhoven, The Netherlands
Room: HG 5.62
Phone: +31 (0)40 247 3991
E-mail: a.j [dot] wijs [at] tue [dot] nl
Website: www.win.tue.nl/~awijs/
Publications: here
Senior Project Members
-
prof.dr. Peter A. J. Hilbers
Full professor
Eindhoven University of Technology
Biomedical Engineering Department
BioModeling and bioInformatics Group
Postal adress: Postbus 513, 5600 MB Eindhoven, The Netherlands
Visiting address: ...
Room: WH 2.104
Phone: +31 (0)40 247 5537
E-mail: p.a.j [dot] hilbers [at] tue [dot] nl
Website: here and here
Publications: here
-
prof. dr. Mark G. J. van den Brand
Full professor
Eindhoven University of Technology
Mathematics and Computer Science Department
Software Engineering and Technology (SET) Group
Postal address: PO Box 513, 5600 MB Eindhoven, The Netherlands
Visiting address: Den Dolech 2, 5612 AZ Eindhoven, The Netherlands
Room: HG 5.59
Phone: +31 (0)40 247 2744
Fax: +31 (0)40 247 5404
E-mail: m.g.j.v.d [dot] brand [at] tue [dot] nl
Website: https://www.win.tue.nl/~mvdbrand/
Publications: here
-
Joost-Pieter Katoen
Full Professor
RWTH Aachen University
Computer Science Department
Modeling and Verification of Software (MOVES) Group
Postal address: Lehrstuhl für Informatik II, RWTH Aachen, 52056 Aachen, Germany
Visiting address: Ahornstraße 55, 52074 Aachen, Germany
Room: 4201
Phone: +49 (0)241 80 21200
Fax: +49 (0)241 80 22217
E-mail: katoen [at] cs [dot] rwth-aachen [dot] de
Website: http://www-i2.informatik.rwth-aachen.de/~katoen/
Publications: here
Also affiliated to: University of Twente, Formal Methods and Tools (FmT) Group, Enschede, The Netherlands
Former Project Members
|