Prestisjeprosjekter

Daniel Lokshtanov

PaPaAlg (2017 - 2022)
Pareto-Optimal Parameterized Algorithms

Daniel Lokshtanov arbeider med å revidere grunnlagene av parameterized complexity feltet. Les mer om prosjektet her.

Saket Saurabh

PARAPPROX (2012 - 2017)
Parameterized Approximation 

Professor Saket Saurabh fikk støtte for forskning på hvordan man kan løse problemer raskest mulig på en datamaskin. Les mer om prosjektet her.
PARAPPROX i ERCs prosjektdatabase

Saket Saurabh

LOPRE (2019-2024)
Lossy preprocessing

I 2019 ble Saket Saurabh tildelt sitt andre ERC grant. Han vil revolusjonere hvordan vi bruker, håndterer og komprimerer store og komplekse datasett. Les mer her.

Fedor Fomin

PREPROCESSING (2011 - 2016)
Rigorous Theory of Preprocessing

Bruker du en søkemotor for å finne byens beste restaurant? Lar du bilens GPS fortelle deg hvor du skal kjøre til venstre for å komme til parkeringshuset? Bekymret for om pengene dine er trygge når du bruker nettbank? Høyst sannsynlig er det en algoritme som hjelper deg. Fedor Fomin ledet et prosjekt som skal utvikle nye matematiske teorier for bedre algoritmer, slik at datamaskiner kan gjøre "bedre" valg. Les mer om prosjektet her.

PREPROCESSING i ERCs prosjektdatabase

Michael Fellows

Parameterized Complexity for Practical Computing (2018-2023)
Se i prosjektbanken

Mateus de Oliveira Oliveira

Automated Theorem Proving from the Mindset of Parameterized Complexity Theory (2019-2023
Se i prosjektbanken

Anya Helene Bagge

Co-Evolution of Software Languages and Language Processors (2016 - 2021)
Se i prosjektbanken

Stefan Bruckner

Visual Exploration in Visualization Space (2016-2020)
Se i prosjektbanken

Eivind Valen

Micropeptides - searching for function in the dark matter of the genome (2016 - 2020)
Se i prosjektbanken

Lilya Budaghyan

Discrete Functions and Their Applications in Cryptography and Mathematics (2014 - 2018)
Se i prosjektbanken

Fedor Fomin

Coping with the NP-hardness: Parameterized and exact algorithms (2005-2010)
Se i prosjektbanken

Lilya Budaghyan

Construction of Optimal Boolean Functions (2017-2021)
Se på TMS

Harald Barsnes

Building the bridge between high-throughput omics analyses and novel biomedical knowledge (2016-2020)
Se på TMS

Eivind Valen

Integrated genomics – linking transcriptional and translational (2014-2018)
Se på TMS

Daniel Lokshtanov

BeHard – Beating Hardness by preprocessing (2012-2017)
Se på TMS