Hello there! My name is Jiří Beneš and I've just finished my Master's in theoretical Computer Science at MFF CUNI in Prague where I also work as a TA / instructor.
I'm interested in programming language theory and type theory, especially in linear types and algebraic effects. I also love functional programming, in particular Haskell in which this page is written!
In my free time, I 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.