Teaching
Courses taught
Spring 2006 at Faculty of Informatics
- Hot Topics of Quantum Information Processing
- Induction and Recursion
- Informatics Colloquium
- Introduction to Logic and Logic Programming
- Knowledge Discovery in Databases
- Laboratory for Parallel and Distributed Systems
- Modeling and Simulation
- Petri Nets
- Programming Language Semantics
- Programming Seminar
- Quantum seminar
- Randomized Algoritms and Computations
- Seminar on Knowledge Discovery
- Topics in Language Theory
- Types and Proofs
Autumn 2005 at Faculty of Informatics
- Algorithmics for Hard Problems
- Automata and Grammars
- Coding, Cryptography and Cryptographic Protocols
- Compiler Construction
- Computability and Complexity
- Concurrency Club
- GEB - limits of formal systems
- Induction and Recursion
- Informatics Colloquium
- Information Society
- Introduction to Functional Programming
- Introduction to Quantum Computing
- Laboratory of Parallel and Distributed Systems
- Linear and Integer Optimization Tasks and their Solutions
- Machine learning and natural language processing
- Mathematical Logic
- Modal and Temporal Logics for Processes
- Parallel and distributed computations
- Principles of Programming Languages
- Programming Seminar
- Project in Knowledge Discovery in Data Bases
- Quantum seminar
- Selected themes of quantum mechanics
- Selected topics on automata theory
- Seminar on Knowledge Discovery
- Seminar on verification
Spring 2005 at Faculty of Informatics
- Advanced Quantum Information Processing
- Algorithm Design II
- Bachelor Thesis
- Communication and Parallelism
- Compiler Project
- Complexity
- Computability
- Computational Logic
- Concurrency Club
- Defence of Thesis
- Design of Algorithms I
- Diploma Thesis
- Efficient Programming Methods
- Formal Languages and Automata I
- Functional Programming
- Hot Topics of Quantum Information Processing
- Informatics Colloquium
- Introduction to Logic and Logic Programming
- Knowledge Discovery in Databases
- Laboratory for Parallel and Distributed Systems
- Lambda calculus
- Neural Networks
- Parallel Computing
- Programming Language Semantics
- Programming Seminar
- Project
- Quantum seminar
- Randomized Algoritms and Computations
- Seminar on Design of Algorithm
- Seminar on Knowledge Discovery
- Seminar on verification
Autumn 2004 at Faculty of Informatics
- Algorithmics for Hard Problems
- Automata and Grammars
- Bachelor Thesis
- Coding, Cryptography and Cryptographic Protocols
- Compiler Construction
- Computability and Complexity
- Computational Geometry Project
- Concurrency Club
- Defence of Thesis
- Diploma Thesis
- Induction and Recursion
- Informatics Colloquium
- Introduction to Functional Programming
- Introduction to Programming
- Introduction to Quantum Computing
- Laboratory of Parallel and Distributed Systems
- Mathematical Logic
- Modal and Temporal Logics for Processes