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.

Publications

[BCFFJS21] Causality-Based Game Solving.
With Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, and Simon Jantsch.
33rd International Conference on Computer-Aided Verification (CAV 2021).
Check out my virtual talk here!

Teaching

Winter 2021/2022 Assistant for Verification at the Reactive Systems Group.
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

[S21] Causal Solving of Reachability Games. Master Thesis. Saarland University, 2021.
[S19] Causality-Based Model Checking for Real-Time Systems. Bachelor Thesis. Saarland University, 2019.