Vít Šefl

Currently a PhD student at the Faculty of Mathematics and Physics of Charles University.


Most of my teaching materials can be found on my GitHub. I'm currently teaching:


My research interests are programming languages, functional programming, and type systems.

You can find a list of my publications here.


Easiest way to reach me is by mail: sefl at ksvi.mff.cuni.cz.

My office is in the room S405 at the Malá Strana building.