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) 
  
 


Conferences and Workshops     Teaching     Previous Posts     Publications

 


 
 
 
Teaching
LecturesSeminars
  • Compilerbau
  • Functional Programming
  • Software Analysis
  • Software Engineering
  • Software Verification
  • Haupseminar Informatik
  • Oberseminar Softwaresysteme
  • Project Laboratory
  • Praktikum (Software Laboratory)
  • Seminar Informatik (Bachelor/Master)
  • Seminar Large Software Systems
  • Software Laboratory

 


Top

   

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