Teaching
Courses taught
Spring 2026 at Faculty of Informatics
- Seminar on Verification (IA072, IA081, IV115, IV119, IV125, IV131, IV132, IV133, IV135)
- Advanced Combinatorics
- Advanced Functional Programming
- Algebra II
- Algorithms and Data Structures I
- Algorithms and Data Structures II
- Compiler Construction
- Computational Logic
- Design and Implementation of Parallel Systems
- Formal Languages and Automata
- Information Society
- Introduction to Informatics
- Introduction to Programming and Algorithms II
- Model Checking
- Petri Nets
- Programming Language Semantics
- Revisions for Bachelor State Exam
- Satisfiability and Automated Reasoning
- Seminar on Functional Programming
Autumn 2025 at Faculty of Informatics
- Seminar on Verification (IA072, IA176, IV074, IV115, IV125, IV131, IV132, IV133)
- Algebra I
- Algorithmics for Hard Problems
- Compiler Project
- Complexity
- Computability and Complexity
- Formal Methods for Software Analysis
- Fundaments of Cryptography
- Geometric Algorithms
- Graph Algorithms
- Graph Theory
- Information Society
- Introduction to Quantum Computing
- Limits of Formal Systems, Proofs, and Computation
- Mathematical Foundations of Computer Science (IB000, IB000ext)
- Mathematical Logic
- Non-Imperative Programming
- Numerical Methods
- Principles of Programming Languages
- Principles of Programming Languages and OOP
- Probability in Computer Science
- Reinforcement Learning
- Revisions for Bachelor State Exam
- Selected Topics on Automata Theory
- Statistics II
- Types and Proofs
Spring 2025 at Faculty of Informatics
- Formela lab seminar (IV125, IV131)
- Advanced Functional Programming
- Algorithms and data structures I
- Algorithms and Data Structures II
- Compiler Construction
- Computational Logic
- Design and Implementation of Parallel Systems
- Formal Languages and Automata
- Information Society
- Introduction to Informatics
- Introduction to Programming and Algorithms II
- Laboratory for Parallel and Distributed Systems
- LiVe Lab Seminar
- Petri Nets
- Programming Language Semantics
- RationAI lab seminar
- Revisions for Bachelor State Exam
- Satisfiability and Automated Reasoning
- Seminar on Discrete Mathematical Methods
- Seminar on Functional Programming
- Seminar on Verification