About me
Hello there! My name is Jiří Beneš and I'm in the second year of my Master's in theoretical Computer Science at MFF CUNI in Prague.
I love functional programming, especially Haskell in which this page is written! I'm also interested in programming language theory and type theory, especially linear types and proof assistants.
I also organize the Kasiopea programming contest for Czech high school students!
If you'd like to get in touch, feel free to send me an email.