Forskning vid Uppsala universitet

En man som bär en mask föreställande ett öga.

Varför frodas konspirationsteorier?

29 april 2021. Antalet konspirationsteorier ökar, inte bara i Sverige utan också i övriga världen. Den tendensen ha ...

Kvinna sitter på ett tåg och tittar ut genom fönstret

Överkontroll är vanligt vid ätstörningar

23 april 2021. Personer med ätstörningen anorexia har ofta en hög förmåga till självkontroll, vilket kan leda till ...

Man som håller upp petriskål med gröna prickar

Gröna bakterier kan ge framtidens biobränsle

22 april 2021. De akademiska uppdragen må avlösa varandra, men det är till forskningen Peter Lindblad ständigt åter ...

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 ...