|Reactive Systems Group|
|Building: E 1.1, Room: 1.13|
|Phone:||+49 681 302 5666|
|eMail:||frederik.schmitt at cispa.saarland|
|Office Hours:||Whenever my door is open|
Teaching Temporal Logics to Neural NetworksWith Christopher Hahn, Jens U. Kreber, Markus N. Rabe, and Bernd Finkbeiner.
Ninth International Conference on Learning Representations (ICLR 2021).
Advanced Factoring Strategies for Decoupled Search Using Linear ProgrammingWith Daniel Gnad and Jörg Hoffmann.
Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019).
|Summer 2020||Organizer of Didactic Seminar for Teaching Assistants|
|Summer 2020||Assistant for Neural-Symbolic Computing at Reactive Systems Group|
|Summer 2019||Organizer and Coach for Mathematics Preparatory Course at Saarland University|
|Winter 2017/2018|| Head Teaching Assistant for Programming 1 at Reactive Systems Group
which received the Busy Beaver award for outstanding teaching performance
|Summer 2017|| Coach for Mathematics Preparatory Course at Saarland University
which received the BESTE award for student initiatives and extraordinary commitment
|Winter 2016/2017||Teaching Assistant for Programming 1 at Dependable Systems and Software Chair|
|Summer 2016||Teaching Assistant for Mathematics Preparatory Course at Saarland University|