About me

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.

Teaching / Výuka (Czech only)