You are here


Main courses

Automata and formal languages (MSc)
Computational complexity (BSc)
Cryptography and data security (MSc)
Formal languages (BSc)
Formal methods (MSc)
Foundations of computer science (BSc)
Logic and its applications in computer science (BSc)
Mathematical foundations of logic and functional programming (MSc)
Verification of hardware and software systems (BSc)

Specialization courses

Applications of automata (BSc)
Automata and formal logic (MSc)
Functional programming and lambda calculus (BSc)
Model checking (MSc)
Offensive security exercises I-II(BSc)
Quantum computing (MSc)
Syntactic parsing methods (BSc)
Term rewriting systems (MSc)
Tree automata (MSc)
Unconventional models of computation (BSc)