Registered user since Fri 19 Dec 2025
Name:Kacper F. Korban
Country:Poland
Affiliation:EPFL
Personal website: https://korban.dev/
GitHub: https://github.com/KacperFKorban
Research interests:Formal Verification, Interactive Theorem Proving
Contributions
POPL 2026-profile
View general profile
View general profile