Julian Siber

A profile picture of Julian Siber

Contact

Reactive Systems Group
CISPA Helmholtz Center for Information Security
Building: E 1.1, Room: 1.13
Phone: +49 681 302 5666
eMail: julian.siber at cispa.de
Office Hours: Whenever my door is open

Teaching

Summer 2021 Advisor for Software Reliability at the Reactive Systems Group
Summer 2020 Organizer of Didactic Seminar for Student TAs at the Reactive Systems Group
Winter 2019/2020 Student TA for Verification at the Reactive Systems Group
Summer 2019 Organizer and Coach for Mathematics Precourse at Saarland University
Winter 2017/2018 Organizer of Didactic Seminar for Re-exam Student TAs at the Reactive Systems Group
Winter 2017/2018 Supervision Student TA for Programming 1 at the Reactive Systems Group
which received the Busy Beaver award for outstanding teaching performance
Summer 2017 Lecturer and Coach for Mathematics Precourse at Saarland University
which received the BESTE award for student initiatives and extraordinary commitment
Winter 2016/2017 Student TA for Programming 1 at the Dependable Systems and Software Chair
Summer 2016 Student TA for Mathematics Precourse at Saarland University
Winter 2015/2016 Re-exam Student TA for Programming 1 at the Programming Systems Lab

Theses

Causal Solving of Reachability Games Master Thesis, Saarland University, 2021
Causality-based Model Checking for Real-time Systems Bachelor Thesis, Saarland University, 2019