Sibylle Schupp, Prof. Dr.
Dr. Sibylle Schupp received her Ph.D. in computer science from the University of Tuebingen in 1996. Subsequently, she spent one year as post-doctoral researcher at Rensselaer (former: RPI) in upstate New York. In 1998, she accepted an offer for an Assistant Professorship, also at Rensselaer. In the Summer of 2002 Dr. Schupp moved to Gothenburg, Sweden, to join the Department of Computer Science and Engineering at Chalmers University of Technology (CTH) as Associate Professor. Since 2009 Dr. Schupp is a full professor for computer science at Hamburg University of Technology (TUHH) and head of the Institute for Software System.
Dr. Schupp’s interests center around rigorous methods for software quality assurance, often in safety-critical contexts, which allow for formal verification of system properties. At HIIG, her focus is on privacy issues, in particular on new methods for formal reasoning about privacy properties and on innovative forms of software support for the design of privacy-preserving applications.
Organisation of eventsFormal Methods Meet Privacy
Formal Methods Meet Privacy – Lunch talk with Sibylle Schupp. From 10.10.2018 to 10.10.2018. Humboldt Institut für Internet und Gesellschaft, Berlin, Deutschland (International) Further information