About me

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.

Teaching / Výuka (Czech only)