Christopher Hahn

Christopher Hahn

Contact

Christopher Hahn

Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 5664
eMail: hahn at react.uni-saarland.de
Building: E 1.1 Room: 1.15

Office Hours
Whenever my door is open.

About me

I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department at Saarland University.

I am interested in theoretical and practical computer science, especially in the study of formal methods for the automatic construction and verification of reactive systems.
At the moment, I work on secure information-flow control. I develop algorithms and tools for the automatic verification that systems do not leak any private information into the public domain.

New!

Publications

Synthesizing Reactive Systems from Hyperproperties.

With Bernd Finkbeiner, Philip Lukert, Marvin Stenger and Leander Tentrup.
30th International Conference on Computer-Aided Verification (CAV 2018).

Modelchecking Quantitative Hyperproperties.

With Bernd Finkbeiner and Hazem Torfah.
30th International Conference on Computer-Aided Verification (CAV 2018).

RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.

With Bernd Finkbeiner, Marvin Stenger, and Leander Tentrup.
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018).

Monitoring Hyperproperties.

With Bernd Finkbeiner, Marvin Stenger, and Leander Tentrup.
17th International Conference on Runtime Verification (RV 2017).

EAHyper: Satisfiability, Implication,
and Equivalence Checking of Hyperproperties.

With Bernd Finkbeiner and Marvin Stenger.
29th International Conference on Computer-Aided Verification (CAV 2017).
Tool: EAHyper.

Deciding Hyperproperties.

With Bernd Finkbeiner.
27th International Conference on Concurrency Theory (CONCUR 2016).

Tools

Satisfiability, Implication, and Equivalence Checking of Hyperproperties.

With Marvin Stenger.

Presentations

Student Projects

Ongoing

Completed

Teaching Videos

Teaching

Summer 2018 Advisor for Formal Verification of Security Protocols at the Reactive Systems Group.
Winter 2017/2018 Teaching Assistant for Programming 1 at the Reactive Systems Group.
received the Busy Beaver award for outstanding teaching performance
Summer 2017 Lecturer for Mathematics Precourse at Saarland University
received the BESTE award for student initiatives and extraordinary commitment
Winter 2016/2017 Teaching Assistant for Verification at the Reactive Systems Group.
Summer 2016 Lecturer and Coach for Mathematics Precourse at Saarland University
Summer 2016 Student TA for Concurrent Programming at the Dependable Systems and Software Chair.
Winter 2015/2016 Organizer of Didactic Seminar for Re-exam Student TAs
Winter 2015/2016 Supervision Student TA for Programming 1 at the Programming Systems Lab.
Summer 2015 Coach for Mathematics Precourse at Saarland University.
Winter 2014/2015 Organizer of Didactic Seminar for Re-exam Student TAs
Winter 2014/2015 Student TA for Programming 1 at the Reactive Systems Group.
Summer 2014 Student TA for Mathematics Precourse at Saarland University.
Winter 2013/2014 Re-exam Student TA for Programmierung 1 at the Dependable Systems and Software Chair.