Teaching
Courses taught
Autumn 2020 at Faculty of Informatics
Spring 2020 at Faculty of Informatics
- Advanced Functional Programming
- Algebra II
- Algorithms and data structures I
- Algorithms and Data Structures II
- Communication and Parallelism
- Compiler Project
- Design and Implementation of Parallel Systems
- Design and verification of algorithms
- Formal Languages and Automata
- Formal Verification Methods
- Formela lab seminar
- Informatics Colloquium (DINKOL, IA067)
- Informatics-Driven Future
- Introduction to Informatics
- Introduction to Logic
- Introduction to Programming and Algorithms II
- Laboratory for Parallel and Distributed Systems
- Lambda calculus
- Linear algebra and discrete mathematics
- Linear models
- Parallel and Distributed Laboratory Seminar
- Petri Nets
- Principles of Programming Languages
- Programming Language Semantics
- Randomized Algorithms and Computations
- Real Time Systems
- Revisions for Bachelor State Exam
- Seminar on Discrete Mathematical Methods
- Seminar on Functional Programming
- Seminar on Information Society
- Seminar on Verification
- Statistics for Computer Science
Autumn 2019 at Faculty of Informatics
- Algebra I
- Algorithmic game theory
- Algorithmics for Hard Problems
- Automata and Grammars
- Coding, Cryptography and Cryptographic Protocols
- Compiler Construction
- Computability and Complexity
- Computational Logic
- Formela lab seminar
- GEB - limits of formal systems
- Geometric Algorithms
- Graph Algorithms
- Graph Theory
- Informatics Colloquium (DINKOL, IA067)
- Information Society
- Introduction to Informatics
- Introduction to Quantum Computing
- Laboratory of Parallel and Distributed Systems
- Mathematical Foundations of Computer Science
- Mathematical Logic
- Modal and Temporal Logics for Processes
- Non-Imperative Programming
- Numerical Methods
- Parallel and distributed computations
- Parallel and Distributed Laboratory Seminar
- Probability in Computer Science
- Project on programming parallel applications
- Selected topics on automata theory
- Seminar on Information Society
- Seminar on Verification
- Statistics II
- System Verification and Assurance
Autumn 2019 at Masaryk University
Spring 2019 at Faculty of Informatics
- Advanced Functional Programming
- Algorithms and data structures I
- Algorithms and data structures II
- Communication and Parallelism
- Compiler Project
- Complexity
- Design and Implementation of Parallel Systems
- Design and verification of algorithms
- Formal Languages and Automata
- Formal Verification Methods
- Formela lab seminar
- Informatics Colloquium (DINKOL, IA067)
- Informatics-Driven Future
- Introduction to Logic
- Introduction to Machine Learning
- Laboratory for Parallel and Distributed Systems
- Laboratory of Knowledge Discovery