Publications
- J.-C. Kassing, S. Dollase, and J. Giesl
-
In Proceedings of the 17th International Symposium on Functional and Logic Programming (FLOPS '24), Kumamoto, Japan, Lecture Notes in Computer Science 14659, pages 62-80, 2024. Ⓒ Springer-Verlag
Extended version appeared at arXiv, CoRR abs/2309.00344.
Teaching
Summer Semester 2023
- Proseminar
- Advanced Programming Concepts
Winter Semester 2022/2023
- Lecture
- Programming
- Seminar
- Verification Techniques
Summer Semester 2022
- Lecture
- Data Structures and Algorithms
- Seminar
- Satisfiability Checking
- Proseminar
- Advanced Programming Concepts
Winter Semester 2021/2022
- Lecture
- Programming
- Seminar
- Verification Techniques
Summer Semester 2021
- Lecture
- Data Structures and Algorithms
- Proseminar
- Advanced Programming Concepts
Winter Semester 2020/2021
- Lecture
- Programming
- Seminar
- Verification Techniques
Summer Semester 2020
- Lecture
- Data Structures and Algorithms
- Seminar
- Satisfiability Checking
- Proseminar
- Advanced Programming Concepts
Winter Semester 2019/2020
- Lecture
- Programming
- Seminar
- Verification Techniques
Summer Semester 2019
- Lecture
- Data Structures and Algorithms
- Seminar
- Verification Techniques
- Seminar
- Satisfiability Checking
- Proseminar
- Advanced Programming Concepts
Winter Semester 2018/2019
- Lecture
- Programming
- Seminar
- Verification Techniques