Departments

KSVI

Department of Software and Computer Science Education

Vice-Head of Department

doc. RNDr. Pavel Töpfer, CSc.

Scientific Secretary

RNDr. Tomáš Holan, Ph.D.

The Department of Software and Computer Science Education is responsible for the introductory programming courses for both the School of Computer Science and the School of Mathematics. The courses are provided by faculty members who are known for outstanding instruction as demonstrated by numerous faculty-wide teaching awards.

The department guarantees the teacher training program specialized in computer science education as well as study programs focused on computer graphics, computer vision and computer game development at both the undergraduate and graduate levels.

The department includes three research groups: the Computer Graphics Group, the Game Development Group and the Advanced Multimedia Learning Laboratory.

KAM

Department of Applied Mathematics

Head of Department

prof. RNDr. Martin Loebl, CSc.

Vice-Head of Department

doc. Mgr. Milan Hladík, Ph.D.

Scientific Secretary

Mgr. Tereza Klimošová, Ph.D.

Secretary

Petra Příhodová

Teaching and research activities of the Department of Applied Mathematics (KAM) are concentrated in optimization and operations research, geometry and topology, theory of graphs, algorithms and mathematical structures and related areas.

KAM emphasizes cutting-edge research on the high world-wide level and regularly updates its teaching activities for bachelor, magister and doctoral students. Magister and doctoral students of KAM traditionally participate in international research supported by numerous prestigious Czech and European grants coordinated by members of KAM.

KAM manages basic courses in Discrete Mathematics, Optimization, Algebra and Mathematical Analysis. The department also provide courses of new trends in Geometry and Algorithmic Game Theory as well as in Algorithms and Data Structures.

D3S (KDSS)

Department of Distributed and Dependable Systems

Head of Department

prof. Ing. Petr Tůma, Dr.

Vice-Head of Department

doc. RNDr. Tomáš Bureš, Ph.D.

Scientific Secretary

doc. RNDr. Petr Hnětynka, Ph.D.

Secretary

Petra Novotná

Department of Distributed and Dependable Systems is responsible for research and education in the advanced techniques for building reliable component-based software especially in the field of distributed and dependable systems, spanning from smart cyber-physical systems and IoT to cloud-based backends. The department research comprises advanced software architectures, adaptation, model-driven development, model-based testing, formal verification of software, performance measurement and modeling.

The department actively collaborates on the national and international level with both academic and industrial partners and is responsible for different courses for both bachelor and master students.

KSI

Department of Software Engineering

Vice-Head of Department

RNDr. Filip Zavoral, Ph.D.

Scientific Secretary

RNDr. Michal Kopecký, Ph.D.

Secretary

Eva Mládková

The Department of Software Engineering is responsible for research and education in the area of software and database systems and their applications. There operate several research groups in the department, dealing with topics spanning multimedia retrieval, recommender systems, linked data technologies, Big Data, bioinformatics applications, cloud computing and high-performance parallel systems. The research is carried out within projects of fundamental research as well as applied and contracted research. The department is responsible for bachelor and master courses in the study branches related to software and data engineering.

KTIML

Department of Theoretical Computer Science and Mathematical Logic

Vice-Head of Department

prof. RNDr. Roman Barták, Ph.D.

Scientific Secretary

RNDr. Jan Hric

Secretary

Petra Novotná

The Department of Theoretical Computer Science and Mathematical Logic is focused on research in areas of automated planning and scheduling, constraint satisfaction, knowledge representation and reasoning, Boolean functions, robotics, data mining, machine learning, neural networks, nature-inspired computations, smart grids, and parallel and distributed computing. The research activities involve both theoretical aspects and practical applications.

The department is in close research contact with local partners as well as the international ones and is responsible for different courses for both bachelor and master students.

SISAL

Network and Labs Management Center

Head of department

RNDr. Libor Forst

Vice-Head of Department

Ing. František Šebek

Scientific Secretary

Mgr. Lenka Forstová

Network and Labs Management Center administrates the technical operations of the IT network and the laboratories (station management, account opening, etc.). The department is also responsible for teaching of selected courses.

UFAL

Institute of Formal and Applied Linguistics

Vice-Head of Department

prof. RNDr. Jan Hajič, Dr.

Vice-Head of Department

Mgr. Barbora Vidová Hladká, Ph.D.

Head Secretary

Libuše Brdičková

The Institute of Formal and Applied Linguistics is a research and teaching department working on many topics in the area of Natural Language Processing, Computational Linguistics and Language Technologies. It participates on many research projects both nationally and internationally.

The Institute carries bachelor's level courses within Artificial Intelligence specialization of the study program Informatics. Also, it guarantees master's level program Informatics - Language Technologies and Computational Linguistics and PhD program Mathematical Linguistics. All the courses are taught in both Czech and English. The Institute is also a member of the double-degree "Master's LCT program" of the EU.

CSI (IÚUK)

Computer Science Institute of Charles University

Vice-Head of Department

prof. RNDr. Jaroslav Nešetřil, DrSc.

Scientific Secretary

RNDr. Ondřej Pangrác, Ph.D.

The main activity of the Computer Science Institute of Charles University is research in theoretical computer science. It also actively contributes to scientific life by creating a continuing institutional background and administrative support, focusing on large research projects and other university-wide and international activities. CSI contributes to the organization of doctoral studies under the plan 4I4 Discrete models and algorithms. CSI members teach a number of basic and advanced courses at doctoral, masters', and bachelor's levels in the area of theoretical computer science and discrete mathematics, mainly in theory of algorithms, graph theory, calculus, optimization, and data structures.