Hi, I'm Jan-Paul.
currently going through cs ft. math w/ phil @ cornell a∧s | "The most painful type of factory is a factory making factory"
What I do
I'm really interested in theoretical computer science and the deep rooted intersection between mathematics and computer science (especially with programming languages!) I want to learn more about category theory and type theory. During my free time I enjoy good movies and some normal music.