Hello there! My name is Jiří Beneš and I'm in the first 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 languages theory (PLT), especially in linear types, dependent types and algebraic effects.
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.