Head of Institute STS
 

Interests

Software Quality & Certification:
Static Analysis, Timed Automata, Testing, Verification

Languages: 
Generic Programming, Functional Programming, Typed Languages

Systems:
Cyber-Physical Systems (CPS)   

Previous Posts

1/1/2009 - present
TUHH

6/1/2003 - 12/31/2008
Chalmers University of Technology, Gothenburg (Sweden)

8/1/1996 - 05/31/2003
Rensselaer Institute of Technology (RPI), NY, USA

July 1996
Ph.D. Univ. Tübingen (Supervisor: R. Loos)

Top