Forskning vid Uppsala universitet

Paranal Observatory i Chiles Atacamaöknen

Ny metod för att söka efter jordlika planeter

18 februari 2021. Med hjälp av ny teknik för att reducera störande ljus vid teleskopobservationer kan jordlika planete ...

Nya biomarkörer öppnar för genombrott i diabetesforskning

16 februari 2021. Med upptäckten av två nya biomarkörer kan Olof Eriksson, forskare i translationell avbildning, vara ...

Professorn som vill bidra till fred på jorden

25 januari 2021. Isak Svensson är, som han beskriver det själv, en produkt av institutionen för freds- och konfliktfo ...

Sök forskningsprojekt

Här hittar du alla forskningsprojekt vid Uppsala universitetet som finansieras av Vetenskapsrådet, Vinnova, Riksbankens Jubileumsfond, Formas och ytterligare ett antal finansiärer. Sökfunktionen bygger på databasen SweCRIS.

Ditt val gav 4 träffar

2-kategorier, 2-representationer och tillämpningar

Forskningsprojekt från 2014-01-01 till 2017-12-31

The main aim of this project is to further develop general tools which, given some mathematical object, provide a recipe for how to construct an interesting 2-categorical upgrade of this object, how to ...
Klassifikationsproblem i högre representationsteori

Forskningsprojekt från 2018-01-01 till 2021-12-31

The aim of this project is to develop general tools andtechniques to attack various classification problems in higherrepresentation theory, more specifically, in 2-representationtheory of finitary 2-categories ...
Effektiv Hantering av Kvantifierare i SMT-Lösare

Forskningsprojekt från 2015-01-01 till 2018-12-31

Satisfiability Modulo Theories (SMT) is a paradigm for constructing solvers for logical constraints modulo various background theories. Due to their efficiency and flexibility, SMT solvers are widely used ...
Högredimensionell Auslander-Reitenteori

Forskningsprojekt från 2015-01-01 till 2018-12-31

This research project aims to study several related topics in higher dimensional Auslander-Reiten theory. Classical Auslander-Reiten theory is an important tool in representation theory of associative ...