## Courses taught

### Spring 2024 at Faculty of Informatics

- Advanced Combinatorics
- Advanced Functional Programming
- Algebra II
- Algorithms and data structures I
- Algorithms and Data Structures II
- Communication and Parallelism
- Compiler Construction
- Compiler Project
- Computational Logic
- Concurrency Theory
- Design and analysis of statistical experiments
- Design and Implementation of Parallel Systems
- Ethics and Information Technology
- Formal Languages and Automata
- Formela lab seminar
- Information Society
- Introduction to Informatics
- Introduction to Programming and Algorithms II
- Laboratory for Parallel and Distributed Systems
- Lambda calculus
- Linear algebra and discrete mathematics
- Linear models
- LiVe Lab Seminar
- Model Checking
- Parallel and Distributed Laboratory Seminar
- Petri Nets
- Programming Language Semantics
- Revisions for Bachelor State Exam
- Satisfiability and Automated Reasoning
- Seminar of Discrete Methods and Algorithms Laboratory
- Seminar on Discrete Mathematical Methods
- Seminar on Functional Programming
- Seminar on Verification
- Statistics for Computer Science

### Autumn 2023 at Faculty of Informatics

- Algebra I
- Algorithmics for Hard Problems
- Algorithms for Quantitative Verification
- Applied math analysis
- Complexity
- Computability and Complexity
- Differential and Integral Calculus
- Discrete mathematics
- Formal Methods for Software Analysis
- Formela lab seminar
- Fundaments of Cryptography
- Geometric Algorithms
- Graph Algorithms
- Graph Theory
- Informatics-Driven Future
- Information Society (CORE012, IV064)
- Introduction to Quantum Computing
- Laboratory of Parallel and Distributed Systems
- LiVe Lab Seminar
- Mathematical Foundations of Computer Science
- Mathematical Logic
- Non-Imperative Programming
- Numerical Methods
- Parallel and Distributed Laboratory Seminar
- Principles of elegant programming
- Principles of Programming Languages
- Principles of Programming Languages and OOP
- Probability in Computer Science
- Randomized Algorithms and Computations
- Revisions for Bachelor State Exam
- Selected topics on automata theory
- Seminar of Discrete Methods and Algorithms Laboratory
- Seminar on Verification
- Statistics II

### Spring 2023 at Faculty of Informatics

- Advanced Functional Programming
- AlgoMaNet
- Algorithms and data structures I
- Algorithms and Data Structures II
- Communication and Parallelism
- Compiler Project
- Computational Logic
- Design and analysis of statistical experiments
- Design and Implementation of Parallel Systems
- Ethics and Information Technology (CORE024, VV076)
- Formal Languages and Automata
- Formal Verification Methods
- Formela lab seminar
- Informatics Colloquium (DINKOL, IA067)
- Informatics-Driven Future
- Information Society
- Introduction to Informatics
- Introduction to Programming and Algorithms II
- Laboratory for Parallel and Distributed Systems