About me
Hello there! I'm Jiří Beneš, a PhD student at the University of Tübingen. I studied theoretical computer science at Faculty of Mathematics and Physics at Charles University in Prague, and previously interned at JetBrains and Stripe.
I'm interested in the pragmatics and ergonomics of programming language features: the notation and mental models through which a feature can be formalized, understood, and taught. I work on type systems and (co)effect systems, looking for representations where the formal account, the implementation, and the explanation are the same thing. Much of this happens in and around Effekt, a research language with lexical effect handlers, where I'm a core contributor.
If you'd like to get in touch, feel free to send me an email.