Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Data- och informationsteknik får närmare 33 miljoner i Vetenskapsrådets senaste utlysning

Nyhet: 2019-11-04

Forskare vid institutionen för data- och informationsteknik tilldelas närmare 33 miljoner i Vetenskapsrådet utlysning inom Naturvetenskap och teknikvetenskap 2019. Pengarna fördelas under en period på fyra till fem år.

Patrik Jansson – Vi är väldigt glada att se att vår forskning håller högsta klass inom ett brett spann: från datorarkitektur till typteori, från smarta kontrakt till AI, säger Patrik Jansson, proprefekt på institutionen.

Institutionen för data- och informationsteknik är integrerad mellan Göteborgs universitet och Chalmers. En del av forskarna nedan är universitetsanställda medan andra är Chalmersanställda.

VR-bidrag för forskare vid institutionen för data- och informationsteknik:

PROJEKTBIDRAG

Vetenskapsrådets symbol

Andreas Abel
Modal typteori med beroende typer
Datavetenskap (datalogi)
4 000 000 kronor

Wolfgang Ahrendt
Verifikation av smarta kontrakt
Datavetenskap (datalogi)
4 000 000 kronor

Christos Dimitrakakis
Information, Rättvisa och Socialt Gynnsam Artificiell Intelligens
Datavetenskap (datalogi), sannolikhetsteori och statistik, systemvetenskap, informationssystem och informatik med samhällsvetenskaplig inriktning
4 000 000 kronor

Jennifer Horkoff
Icke-Funktioneela Krav för Maskininlärning: Möjliggöra Kontinuerlig Kvalitetsmedvetenhet
Datorsystem
4 000 000 kronor

Gerardo Schneider
X-LEGAL: Smarta juridiska kontrakt
Datavetenskap (datalogi), Språkteknologi (språkvetenskaplig databehandling)
4 000 000 kronor

Per Stenström
PRIME: Konstruktionsprinciper för minnesberäknande parallella system
Datorsystem
4 000 000 kronor

ETABLERINGSBIDRAG

Gregory Gay
Context-Infused Automated Software Test Generation
Programvaruteknik
3 900 000 kronor

Christian Sattler
Bevisteori och semantik för homotopitypteori i högre ordningens kategorier
Datavetenskap (datalogi), Algebra och logik
3 900 000 kronor

 

Foto Patrik Jansson: Simon Ungman Hain

AV:

Kontaktinformation

Catharina Jerkbrant, kommunikatör

IT-fakulteten, 412 96 Göteborg

Besöksadress:
Lindholmsplatsen 1

Telefon:
031-772 4898, 0766-18 27 48

Sidansvarig: |Sidan uppdaterades: 2019-08-06
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?