Teaching
Courses taught
Autumn 2003 at Faculty of Informatics
- Design and verification of algorithms
- GEB - limits of formal systems
- Induction and Recursion
- Informatics Colloquium
- Introduction to Functional Programming
- Introduction to Programming
- Introduction to Quantum Computing
- Laboratory of Parallel and Distributed Systems
- Modal and Temporal Logics for Processes
- Parallel and distributed computations
- Petri Nets
- Principles of Programming Languages
- 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 2003 at Faculty of Informatics
- Algorithm Design II (I063, IB108)
- Communication and Parallelism
- Computability (I007, I507)
- Computational Logic
- Concurrency Club
- Constructions of grammars
- Design of Algorithms I (I002, IB002)
- Efficient Programming Methods
- Formal Languages and Automata I
- Functional Programming
- Informatics Colloquium
- Introduction to Logic and Logic Programming
- Knowledge Discovery in Databases
- Knowledge Systems
- Laboratory for Parallel and Distributed Systems
- Neural Networks
- Parallel Computing
- Programming Language Semantics
- Quantum computers and computations
- Quantum seminar
- Randomized Algoritms and Computations
- Seminar on Knowledge Discovery
- Structural Complexity
- Topics in Language Theory
- Types and Proofs
Autumn 2002 at Faculty of Informatics
- Algebraic instruments of linguistics
- Coding, Cryptography and Cryptographic Protocols
- Communication and Parallelism
- Compilers
- Complexity
- Computability
- Computational Geometry Project
- Concurrency Club
- Design and verification of algorithms
- Induction and Recursion
- Inductive Logic Programming
- Informatics Colloquium
- Introduction to Functional Programming
- Introduction to Programming
- Laboratory of Parallel and Distributed Systems
- Modal and Temporal Logics for Processes
- Petri Nets
- Principles of Programming Languages
- Programming Language Semantics
- Project in Knowledge Discovery in Data Bases
- Quantum algorithms and automata
- Quantum seminar
- Selected themes of quantum mechanics
- Selected topics on automata theory
- Seminar on Knowledge Discovery
Spring 2002 at Faculty of Informatics
- Computability (I007, I507)
- Computational Logic
- Concurrency Club
- Concurrency Theory
- Constructions of grammars
- Design of Algorithms I (I002, I502)
- Design of Algorithms II
- Diploma Thesis Seminar
- Formal Languages and Automata I (I005, I505)
- Functional Programming
- Informatics Colloquium
- Information Society
- Introcuction to Object-Oriented Programming
- Knowledge Discovery in Databases
- Laboratory for Parallel and Distributed Systems
- Modal and Temporal Logics for Processes