TILBAGE TIL OVERSIGT
Kim Guldstrand Larsen
MEDLEM AF VIDENSKABERNES SELSKAB
DEN NATURVIDENSKABELIGE KLASSE
Kim Guldstrand Larsen
Aalborg Universitet AAU
Institut for Datalogi
Foto: Lars Horn / Baghuset
Dato: 03.11.21
MEDLEM AF VIDENSKABERNES SELSKAB
Kim Guldstrand Larsen
DEN NATURVIDENSKABELIGE KLASSE
Titel
Professor
Tilknytning
Institut for Datalogi, Aalborg Universitet
Indvalgsår
2000
kgl@cs.aau.dk
Grad
ph.d.
Fagområde
Datalogi, herunder specifikation og verifikation af softwaresystemer