Artificial Intelligence

• Arena on Machine Learning (a department-wide umbrella): ML
• CAiM - Computer-assisted Applications in Medicine: ML, PR, XAI, RL
• MIDA – research group on Methods for Image Data Analysis: ML, PR, XAI
• Optimisation research group: CP, LS (= AI approaches to optimisation)**

Ext:

• Uppsala University Information Laboratory (InfoLab): ML**
• Uppsala Social Robotics Lab: SR, XAI

Computational Science

• The research group on Radial Basis Function Approximation for Partial Differential Equations (NA and CSE).
• The research group on Computational Genomics (CSE).
• The research group on Numerical Quantum Dynamics (CSE).

Computer Systems

• Communication Research Group **
• Graduate School in Cybersecurity
• Uppsala Architecture Research Team**
• Uppsala Networked Objects Group**

Computing Education Research

• UpCERG research group
• CeTUSS research group

Control and Dynamical Systems

Avdelningssidor:

• Systems and Control
• Scientific Computing

Cybersecurity

• Cybersecurity Arena
• Graduate School in Cybersecurity
• Communication Research Group**
• Software Testing Group
• Uppsala Architecture Research Team**
• Uppsala Networked Objects Group**

Ext:

• Uppsala Secure Learning and Control Laboratory
• Uppsala Information Laboratory**

Data Science

• UDBL – Uppsala Database Laboratory: DB

Ext:

• Integrative Scalable Computing Laboratory: DCI, FML**
• InfoLab – Uppsala University Information Laboratory: DM, NS, SDS, SNA**
• eSSENCE – an e-Science inter-university collaboration: DB, DCI, DM, NS**
• NORDIS – Nordic Observatory for Digital Media and Information Disorder: SDS

Embedded and Real-Time Systems

• Embedded Systems research group

Human-Machine Interaction

• Cyber-physical Systems Lab: S, SR, TE

Ext:

• Human, Technology, and Organisation (HTO): WT
• Uppsala Social Robotics Lab: SR, TE

Image Analysis

• Hand Written Text Recognition
• Medical Image Processing
• MIDA - Methods for Image Data Analysis
• Quantitative Microscopy
• CAiM - Computer-assisted Applications in Medicine
• HASTE project
• q2b – From Quill to Bytes

Ext:

• Centre for Image Analysis
• BioImage Informatics Facility
• TissUUmaps project
• Haptics and Visualization in Medicine

Optimisation

• Optimisation research group: CP, LS, MP, applications**

Parallel and Distributed Computing

• Integrative Scalable Computing Laboratory: NDC, DCI**

Ext:

• eSSENCE strategic collaboration on Science: NDC, DCI, HPC**

Programming Language and Systems

• Algorithmic Program Verification group: PV, MC**
• Model Learning group: PV, MC
• Optimisation research group: CP, CBLS**
• Programming Language research group: FS, PV, PS, PP, RS, PL

Semantics and Verification

• Algorithmic Program Verification**
• Research in Theory for Concurrent Systems

Software Engineering