Hello there! I'm Jiří Beneš and I'm a PhD student at the University of Tübingen.
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!
I recieved my Bachelor's and Master's in theoretical Computer Science from the Faculty of Mathematics and Physics at Charles University in Prague where I also worked as a lecturer and instructor.
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.