Prof. Dr. Sibylle Schupp

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/2008Chalmers University of Technology, Gothenburg (Sweden)
8/1/1996 - 05/31/2003Rensselaer Institute of Technology (RPI), NY, USA
Jul. 1996Ph.D. Univ. Tübingen (Supervisor: R. Loos)


Top