Teaching
- Summer term 2020: Head teaching assistant for the Synchronous Languages lecture
- Winter term 2019/20: Teaching assistant for the Introductory Programming lecture
- Winter term 2019/20: Seminar on Real-Time and Embedded Systems
- Winter term 2019/20: Supervision of the pinball project
- Summer term 2019: Seminar on Synchronous Languages
- Summer term 2019: Supervision of the railway project
- Winter term 2018/19: Head teaching assistant for the Synchronous Languages lecture
- Winter term 2018/19: Teaching assistant for the Introductory Programming lecture
- Summer term 2018: Seminar on Real-Time and Embedded Systems
- Winter term 2017/18: Teaching assistant for the Introductory Programming lecture
- Winter term 2017/18: Seminar on Synchronous Languages
- Summer term 2017: Supervision of the railway project
- Winter term 2016/17: Head teaching assistant for the Synchronous Languages lecture
Advised Theses
- Andreas Boysen, An FPGA-based Demonstrator for Dynamic Ticks
Master's Thesis, December 2019 - Lena Grimm, From Lustre to Graphical Dataflow Programs
Master's Thesis, May 2019 - Andreas Stange, Model Checking for SCCharts
Master's Thesis, May 2019 - Sören Domrös, Moving Model-Driven Engineering from Eclipse to Web Technologies
Master's Thesis, November 2018 - Milad Rahimi, Incremental Compilation of SCEst
Bachelor's Thesis, September 2017