|
|
|
Contact |
|
Courses
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2017/2018, Beste Übung
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2016/2017, Beste Übung
Publications
2021
-
Formal Verification of Pattern Matching Analyses
April 2021 : H. Dieterichs
Theses worked on
- Formal Verification of Lower Your Guards (finished), masters thesis