conf.researchr.org / Kacper F. Korban
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