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
