Department of Information Technology

Computing Science

At the Computing Science Division, research is focused around algorithm design; combinatorial optimisation; compiler construction (how to create efficient, fast, and correct machine code); databases; distributed systems; e-commerce; formal methods; machine learning; programming languages; and software engineering.

Research Groups

Combinatorial Optimisation

The ASTRA research group investigates the constraint programming (CP) approach to the solving of combinatorial problems, by systematic search or local search. Such problems arise in many application domains, such as scheduling, rostering, planning, transportation, logistics, packing, configuration, control, design, biology, finance, linguistics, and so on.

Databases

Uppsala DataBase Laboratory, UDBL, conducts research on methods and techniques for data and information management. The research emphasis is on investigating scalable techniques for querying, mining, and integrating information from data streams, files, databases, storage managers, and other information sources in distributed environments.

Data science

At the Uppsala University InfoLab we do basic and applied research concerning the extraction of knowledge from complex data. The main focus of the lab is on online human-generated data.

Programming languages

The Programming Languages group conducts research into the principles and implementation of programming languages.

Theory for Concurrent Systems

In Theory for Concurrent Systems, we study and develop mathematical and logical theories and models for concurrent systems, including tools and applications.

Updated  2017-02-16 22:40:37 by Matteo Magnani.