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