Введение

Кафедра компьютерных наук является частью факультета математики, физики и информатики Братиславского университета Комениуса, столицы Словакии. Возглавляет кафедру профессор Рндр. Бранислав Рован, Ph.D.

Образовательные и научные достижения

Первая комплексная учебная программа по информатике в Чехословакии (ныне Словакия) была внедрена на факультете в 1973 году. Кафедра, основанная в 1974 году, и по сей день отвечает за организацию большей части обучения в области информатики на уровнях бакалавриата и магистратуры. Отличительной чертой учебной программы является сбалансированное освещение математических основ, теоретической и практической информатики. В настоящее время кафедра обеспечивает преподавание таких дисциплин, как компьютерная архитектура, системное программное обеспечение, сети, базы данных, разработка программного обеспечения, проектирование и анализ алгоритмов, формальные языки, вычислительная сложность, дискретная математика, криптология, безопасность данных и другие. Кафедра неоднократно успешно участвовала в проектах программы TEMPUS ЕС. Проекты CIPRO и «Сеть Неймана» способствовали созданию аппаратной инфраструктуры кафедры и развитию компетенций в области технологий Unix-рабочих станций, сетей и структурированной обработки документов. Лаборатория параллельных вычислений CUSTU PARLAB, функционирующая совместно с кафедрой информатики факультета электротехники и информатики Словацкого технического университета, также была создана в рамках одного из этих проектов. Кроме того, кафедра участвовала в проекте LEARN ED в рамках программы COPERNICUS и построила мультимедийную лабораторию. Кафедра принимала участие в организации одной из ведущих европейских конференций по теоретической информатике – MFCS – всякий раз, когда она проходила в Словакии. Среди других недавно организованных или соорганизованных кафедрой конференций – SOFSEM '98 и DISC '99. Помимо этого, в отделе располагаются секретариаты Европейской ассоциации теоретической информатики, Словацкого общества информатики и Ассоциации по безопасности информационных технологий (ASIT).

Темы исследований

Исследования в области теоретической информатики и дискретной математики имеют самые давние традиции в отделе. Особенно следует отметить результат Роберта Сзелепчени о замыкании недетерминированного пространства относительно дополнения, независимо полученный также Н. Иммерманом, который принес им обоим премию Гёделя ACM и EATCS в 1995 году. В последнее время были начаты исследования в области параллельных и распределенных вычислений, криптографии и информационной безопасности, а также в области разработки программного обеспечения. Отдел участвует в международном сотрудничестве по разработке редактора структурированных документов в рамках проекта Euromath. Отдел поддерживает многочисленные международные контакты, успешно подавал заявки на исследовательские проекты (проект ALTEC ? «Алгоритмы для будущих технологий») с партнерами из ЕС, и также имеет два исследовательских гранта от Словацкого грантового агентства.

Техническое оборудование

Сеть, состоящая из 20 рабочих станций (Sun, DEC и Hewlett Packard, расположенных в двух лабораториях), Parsytec (с 20 транспутерами и ОС Parix) и стандартных ПК, объединенных в сеть.