Research groups at the IT department
Not all research groups at the department can be found here. For other groups and projects, see the web pages of the divisions, or the (also partial) project listing.
- Algorithmic Program Verification - Parameterized and Infinite-state Systems
- CAiM - Computer-assisted Applications in Medicine
- CeTUSS - nationellt ämnesdidaktiskt Centrum för TeknikUndervisning i Studenternas Sammanhang
- Concurrency - research in Theory for Concurrent Systems
- CoRe - Communication Research
- CPS-Lab - Cyber-physical Systems Lab
- Distributed Computing Applications - Applied Cloud and Grid Computing
- Digital Ecologies Lab
- InfoLab - Social Data Science
- Model Generation - Model Generation and Testing
- Optimisation
- Programming Languages - The Programming Languages Research Group
- UART - Uppsala Architecture Research Team
- UDBL - Uppsala DataBase Laboratory
- UNO - Uppsala Networked Objects
- UrbanLab - Uppsala Urban Computing Labortory
- UpCERG - Uppsala Computing Education Research Group
- UPPAAL - Embedded Systems