![Jan-Oliver Kaiser](https://popl24.sigplan.org/getProfileImage/janoliverkaiser/aa496ae0-95fb-4c06-bbe9-3af496e24312/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
POPL 2024-profile
View general profile
View general profile