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?

Denna text är utskriven från följande webbsida:
http://itufak.gu.se/aktuellt/nyheter/fulltext//data--och-informationsteknik-far-narmare-33-miljoner-i-vetenskapsradets-senaste-utlysning.cid1653564
Utskriftsdatum: 2019-11-17