Anatol Slissenko
Current courses:
Development of programs
Languages for specification and
development of software
Distributed algorithms
Foundations of security (a part)
A lecture on the history of computer science (for
first year students)
Prior courses:
Computational complexity
Logic
Algorithmics
Validation and security of software
Theory of algorithms
Data bases
Programming
Basics of operating systems