Kim Guldstrand Larsen
MEDLEM AF VIDENSKABERNES SELSKAB
DEN NATURVIDENSKABELIGE KLASSE
![](https://ra.youngacademy.dk/wp-content/uploads/2024/03/larsen-kim-guldstrand_bw__kreditering_lars-horn.jpg)
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