Departments

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.

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.

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.

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.

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.

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.

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.

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.