conf.researchr.org / Jan-Oliver Kaiser
![Jan-Oliver Kaiser](https://conf.researchr.org/getProfileImage/janoliverkaiser/c8d0800f-7ce6-4bf3-b35a-5abc1a68b0e1/small.jpg?1711459586000)
Registered user since Fri 8 Sep 2023
Name:Jan-Oliver Kaiser
Country:Germany
Affiliation:BedRock Systems, MPI-SWS
GitHub: https://github.com/janno
Research interests:PL, Dependent Types, Metaprogramming, Tactic Languages
Contributions