Teaching
Courses taught
Spring 2009 at Faculty of Informatics
- Functional Programming
- Hot Topics of Quantum Information Processing
- Informatics Colloquium
- Introduction to Functional Programming
- Introduction to Logic and Logic Programming
- Laboratory for Parallel and Distributed Systems
- Laboratory of Knowledge Discovery
- Lambda calculus
- Linear and Integer Optimization Tasks and their Solutions
- Machine Learning and Data Mining
- Modeling and Simulation
- Neural Networks
- Parallel and Distributed Laboratory Seminar
- Petri Nets
- Probability in Computer Science
- Programming Language Semantics
- Programming Seminar
- Quantum seminar
- Randomized Algorithms and Computations
- Seminar on Concurrency
- Seminar on Knowledge Discovery
- Seminar on verification
- Topics in Language Theory
Autumn 2008 at Faculty of Informatics
- Algorithmics for Hard Problems
- Automata and Grammars
- Coding, Cryptography and Cryptographic Protocols
- Compiler Construction
- Computability and Complexity
- Formal Methods for Software Engineering
- Induction and Recursion
- Informatics Colloquium
- Information Society
- Introduction to Functional Programming
- Introduction to Quantum Computing
- Introduction to Validation and Verification
- Laboratory of Knowledge Discovery
- Laboratory of Parallel and Distributed Systems
- Machine learning and natural language processing
- Mathematical Logic
- Modal and Temporal Logics for Processes
- Model Driven Development for Service Oriented Platforms
- Parallel and distributed computations
- Parallel and Distributed Laboratory Seminar
- Principles of Programming Languages
- Programming Seminar
- Project on programming parallel applications
- Quantum seminar
- Selected themes of quantum mechanics
- Selected topics on automata theory
- Seminar on Concurrency
- Seminar on Cryptography
- Seminar on Knowledge Discovery
Spring 2008 at Faculty of Informatics
- Advanced Graph Theory I
- Algorithm Design II
- Communication and Parallelism
- Compiler Project
- Complexity
- Computability
- Computational Logic
- Data Mining and Knowledge Discovery
- Design and Implementation of Parallel Systems
- Design of Algorithms I
- Formal Languages and Automata I
- Formal Verification Methods
- Functional Programming
- Hot Topics of Quantum Information Processing
- Induction and Recursion
- Informatics Colloquium
- Introduction to Functional Programming
- Introduction to Logic and Logic Programming
- Laboratory for Parallel and Distributed Systems
- Laboratory of Knowledge Discovery
- Lambda calculus
- Matroid theory and combinatorial optimization
- Modeling and Simulation
- Parallel and Distributed Laboratory Seminar
- Parallel Grammars and Automata
- Petri Nets
- Probability in Computer Science
- Programming Language Semantics
- Programming Seminar
- Quantum seminar
- Randomized Algorithms and Computations
- Real Time Systems
- Seminar on Concurrency
- Seminar on Knowledge Discovery
- Seminar on verification