Research groups at the IT department

Only some of the research groups at the department can so far be found here. For other groups and projects, see the web pages of the divisions (check the list in the left margin), or the (also partial) project listing.

• Algorithmic Program Verification - Parameterized and Infinite-state Systems
• ASTRA - Constraint Programming
• CeTUSS - nationellt ämnesdidaktiskt Centrum för TeknikUndervisning i Studenternas Sammanhang
• CoRe - Communication Research
• Mobility - research in Calculi for Mobile Processes
• Programming Languages - The Programming Languages Research Group
• Model Generation - Model Generation and Testing
• UART - Uppsala Architecture Research Team
• UDBL - Uppsala DataBase Laboratory
• UpCERG - Uppsala Computing Education Research Group
• UPPAAL - Tools for Analysis of Real-Time Systems