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)   
 


 


 

Teaching
LecturesSeminars
  • Compilerbau
  • Functional Programming
  • Software Analysis
  • Software Engineering
  • Software Testing
  • Software Verification
  • Seminar (Bachelor, Module "Seminars Computer
    Science and Mathematics")
  • Research Project and Seminar (Master level)
  • Oberseminar Softwaresysteme

 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