Lecturer
Department of Software and Computer Science Education
Faculty of Mathematics and Physics
Charles University, Czech Republic
- sefl at ksvi.mff.cuni.cz
- Office
- S405, Malá Strana
- GitHub
- github.com/vituscze
Teaching
Most of my teaching materials can be found on my GitHub. I'm currently teaching:
Winter semester
- Programming 1
- Introduction to Algorithms
- Theory of Programming Languages
Summer semester
- Programming 2
- Nonprocedural Programming
- Principles of Programming Languages
Research
My research interests are programming languages, functional programming, and type systems. You can find a list of my publications here.