Henrik Bohnenkamp

E-Mail:

put henrik@ before cs.rwth-aachen.de

Phone:

+49-241/80-21203

Fax:

+49-241/80-22217

Postal Address:

Henrik Bohnenkamp

Lehrstuhl für Informatik II

RWTH Aachen

D-52056 Aachen

Germany

Visiting Address:

Room 4210

(Building E1)

Ahornstraße 55

D-52074 Aachen

Timed Model-Based Testing
Modelling of Timed Systems
Analysis of AdHoc networks

Useful proof techniques (don't recall where I got this from)

1988-1995

Student of Computer Science at University Erlangen-Nuremberg, Germany

1995-2001

PhD Student at Aachen University, Germany (Prof. Boudewijn Haverkort)

2001-2005

Researcher at University Twente, The Netherlands

2004-2005

Associated with the Embedded Systems Institute in Eindhoven, NL

2005-current

Researcher at Aachen University, Germany

BSc/MSc/Diploma Topics
Teaching WS09/10
Hybrid Systems Group

1-2 stud. Hilfskr. zur Unterstützung bei der Erstellung eines neuen Foliensatzes für "Datenstrukturen & Algorithmen 2010". (mehr)

Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)