SPLASH 2022 (series) / Jan Bessai
![Jan Bessai](https://2022.splashcon.org/getProfileImage/janbessai/9e67b3ed-2510-43e1-a263-fa6f0853c2ea/small.jpg?1711548062000)
Registered user since Mon 14 Jun 2021
Name:Jan Bessai
Country:Germany
Affiliation:Independent
Personal website: https://noprotocol.net/jan/
GitHub: https://github.com/JanBessai
Research interests:Type Theory, Intersection Types, Synthesis, Programming
Contributions
SPLASH 2022-profile
View general profile
View general profile