Vít Šefl

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

Teaching

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

• Winter semester
  • Programming 1 (NPRG030) - czech, english
  • Introduction to Algorithms (NPRG082) - czech, english
  • Functional Programming (NAIL097) - english
• Summer semester
  • Programming 2 (NPRG031) - czech, english
  • Nonprocedural Programming (NPRG005) - czech
  • Methodology of Programming and Philosophy of Programming Languages (NPRG003) - czech

Research

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

You can find a list of my publications here.

Contact

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.