ECOOP 2026 (series) / Kacper F. Korban
Registered user since Fri 19 Dec 2025
Name:Kacper F. Korban
Country:Switzerland
Affiliation:EPFL
Personal website: https://korban.dev/
GitHub: https://github.com/KacperFKorban
Research interests:Formal Verification, Interactive Theorem Proving, Compilers
Contributions
Using general profile