|
|
|
Contact |
|
Courses
- Laboratory: Theorem prover lab: applications in programming languages , Sommersemester 2021
Publications
2023
-
Static Uniqueness Analysis for the Lean 4 Theorem Prover
April 2023 : M. Huisinga
2019
-
Formally Verified Insertion of Reference Counting Instructions
November 2019 : M. Huisinga
Theses worked on
- Formally Verified Insertion of Reference Counting Instructions (finished), bachelor thesis
- Static Uniqueness Analysis for Lean (finished), masters thesis