Computers have become ubiquitous: you find them on your desk, in your mobile phone, and inside autonomous vehicles. What makes computers a unique kind of machine is that they can be made to carry out essentially any computable task given suitable programming. Nowadays, common computer tasks also involve managing and extracting knowledge from large amounts of data.

At the Computing Science Division (CSD), our research addresses:

• Programming Languages: Principles and implementation of programming languages.

• Theory for Concurrent Systems: Mathematical and logical theories and models for concurrent systems, including tools and applications.

• Optimisation: Models, methods, and tools for the solving of optimisation problems, such as by mathematical programming, constraint programming, and local search. Applications arise in many real-world domains in the guise of allocation, packing, planning, routing, and scheduling problems.

• Data Science: Basic and applied research on the extraction of knowledge from data. We develop models, methods, and software combining multilayer networks, temporal and textual information, and imperfect data. Applications include the analysis of online political data and the study of online disinformation.

• Databases: Methods and techniques for data management. The research emphasis is on scalable techniques for querying, mining, and integrating information from data streams, files, databases, storage managers, and other information sources in distributed environments.