Department of Computer Science, FMPI, Comenius University

The department, established in 1974, continues to be responsible for organizing the major part of the undergraduate and graduate computer science education to this date.

The part of the curriculum covered by the department at present includes courses on computer architecture, system software, networks, databases, software design, design and analysis of algorithms, formal languages, computational complexity, discrete mathematics, cryptology, data security and others.

Most notably, the result of Róbert Szelepcsényi on the closure of nondeterministic space under complement, independently obtained also by N. Immerman, brought the Gödel Prize of the ACM and EATCS to both of them in 1995.

More recently research in parallel and distributed computing, cryptology and information security, and in software development has been initiated.

The department is involved in international cooperation on the development of the structured document editor within the Euromath Project.