Christopher Hahn

Christopher Hahn

Contact

Christopher Hahn (Ph.D. Student)

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.

Publications

Deciding Hyperproperties

Bernd Finkbeiner and Christopher Hahn
27th International Conference on Concurrency Theory (CONCUR 2016)

Thesis

Presentations

Teaching

Winter 2016/2017 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.