|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.|
|[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!
|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.|
|[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.|