Loading
At the Computing Science Division, research is focused around algorithm design; compiler construction (how to create efficient, fast, and correct machine code); constraint programming; databases; distributed systems; e-commerce; formal methods; machine learning; programming languages; and software engineering.
The ASTRA research group investigates the constraint programming (CP) approach to the solving of combinatorial problems, by global search or local search. Such problems arise in many application domains, such as scheduling, rostering, planning, configuration, control, design, biology, finance, linguistics, transportation, logistics, and so on.
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.
The Programming Languages group conducts research into the principles and implementation of programming languages.
In Theory for Mobile Processes such as the pi-calculus and its subsequent variants (e.g. psi-calculi), we develop new proof methods to handle, e.g., data types, and tools for analysing and manipulating specifications, and study correctness properties of mobile ad-hoc networks.
Publications and reports from the Computing Science Division. See also the department publications page.
The division is located in building 1 at the Centre for Information Technology. For further contact information, click Contact in the left margin!