Raziskovalno me zanimajo formalizacija matematike, računske metode pri formalizaciji matematije, teorija tipov, teorija kategorij.
Projekti
-
FormalTT
Formalizacija preproste teorije tipov v Agdi.
-
Lean-HoG
Knjižnica za računsko teorijo grafov, implementirana v Lean 4 dokazovalniku, s poudarkom na verfikaciji velikih bazah grafov, specifično House of Graphs (HoG).
Članki
- Incorporating a Database of Graphs into a Proof Assistant In: Kohlhase, A., Kovács, L. (eds) Intelligent Computer Mathematics. CICM 2024. Lecture Notes in Computer Science, vol 14960. Springer, Cham.