Department of Information Systems

The Department of Information Systems is responsible for teaching the MSc specialisation Information Systems, which covers such fields as programming, formal languages and compilers, database and information systems, computer networks, formal specifications, internet and distributed applications. The objective is to make students familiar with theory, technologies and procedures used in information system development, and to teach them to develop such systems applying advanced development tools and technologies. Besides, the Department is also in charge of teaching courses in the Bc programme called Information Technology and in the Ph.D. programme called Information Technology.

Scientific and research activities of the Department are focused on database technology, implementation of information systems, management of software projects, theory of formal languages and compilers. The main areas of interest are the following ones:

• Object modelling, object-oriented databases, database design,
• knowledge discovery in databases,
• formal specifications of reactive and real-time systems,
• computer networks and communication protocols,
• information system implementation,
• software metrics and software project management,
• cryptographic protocols and security mechanisms,
• formal languages,
• functional languages.

The lectures in most of the courses are supplemented with projects or laboratory sessions, where students acquire hands-on experience and skills with the latest software packages, with software projects, and they learn basics of a teamwork and project management.