Dr. Sibylle Fröschle (Habilitand)


Email: lastname (oe instead of ö) AT Informatik DOT Uni-Oldenburg DOT DE
Room: A3 2-213
Phone: +49 (0)441 798-3124
Fax: +49 (0)441 798-2965
Universität Oldenburg
Fakultät II
Department für Informatik
26111 Oldenburg
Germany

I am currently a habilitand (similar to assistant professor) at the Correct System Design Group, University of Oldenburg. Between 2004 and 2006 I was a postdoc at the Institute of Informatics, Warsaw University on a fellowship of the EU Research Training Network GAMES. For several years before and for half a year after my stay in Warsaw I worked as a researcher at the Laboratory for Foundations of Computer Science, The University of Edinburgh, where I also obtained my PhD.

Research

Concurrency theory: models, equivalences, and logics
Verification of infinite-state systems
Formal analysis of security protocols and security APIs

Publications

My page on the DBLP Server

Latest talks: FAST11   ASA11

Projects

Project Participation

General Contributions

Programme Committees     EXPRESS'06   EXPRESS'07   EXPRESS'11  

Teaching

2010/2011     Sichere Kommunikation - Course and Tutorial
2010/2011     Grundlegende Entdeckungen in der Informatik - Seminar
2009/2010     IT Sicherheit - Seminar
2009/2010     Theoretische Informatik II
2008/2009     Sichere Kommunikation - Course and Tutorial
2007/2008     Moderne Kryptographische Dienste - Seminar (details see Stud.IP)
2007/2008     Kryptographische Protokolle - Course and Tutorial
2006/2007     Teaching assistant for Computer Security   (University of Edinburgh)
2006/2007     Formal Analysis of Cryptographic Protocols - TPG course   (University of Edinburgh)
2005/2006     Cryptographic Protocols - Course and Tutorial   (Warsaw University)