conf.researchr.org / Steven Keuchel
![Steven Keuchel](https://conf.researchr.org/getProfileImage/stevenkeuchel1/c78641ce-0c94-4d35-a3c5-57932442d60a/small.jpg?1712677903000)
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