conf.researchr.org / Steven Keuchel
Registered user since Mon 5 Jul 2021
Name:Steven Keuchel
Country:Belgium
Affiliation:Vrije Universiteit Brussel
Personal website: https://soft.vub.ac.be/~skeuchel
GitHub: https://github.com/skeuchel
Research interests:Programming Languages, Proof-assistants, Compilers, Type theory
Contributions