Formal Methods Meet Privacy – Lunch talk with Sibylle Schupp
OPEN BROWN-BAG LUNCH
Lunch talk with Sibylle Schupp
Formal Methods Meet <Privacy>
Wednesday, 10 October 2018 · 1 pm · HIIG Kitchen
Formal methods are methods from computer science that provide rigorous assessments of the workings of a system. By Bill Gates once called ”the Holy Grail of computer science”, formal methods are applied to a variety of quality parameters ranging from safety to performance. An important driver for further development of the field remain practical problems. Collaborations on safety-critical systems in the engineering domain, for example, have led to new logics and algorithms that now allow for qualitatively or quantitatively refined assessments. Comparatively few collaborations, however, exist with social scientists even though access to personal data long has been acknowledged as critical as well. The talk illustrates the application of formal methods to privacy issues using examples from the project ”Internet Governance Technologies”, an interdisciplinary project of economists, ethicists, jurists, and computer scientists (joint work with Robin Adams, Kai Bavendiek, Jan Kaiser, Jonas Scholl, Wolfgang Schulz, Florian Wittner).
Sibylle Schupp is an Associate Researcher 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. Since 2009 Sibylle Schupp is a full professor for computer science at Hamburg University of Technology (TUHH) and head of the Institute for Software System.
Eine Anmeldung ist für diese Veranstaltung aktuell nicht möglich.
Sign up for our newsletters and be the first to learn about new events and exciting research results.
Our event series
Lecture Series: Making sense of the digital society
This high-profile lecture series thrives to develop a European perspective on the processes of transformation that our societies are currently undergoing.
Once a month we publicly discuss the impact of digitalisation on the society. Therefore we invite special guests and engage in a dialogue with the audience