Kim Guldstrand Larsen

--> | dødsted = | dødsmåde = | dødsårsag = | dræbt af = | bopæl = | gravsted = | statsborgerskab = | sprog = | religion = | politik = | far = | mor = | søskende = | ægtefælle = | partner = | børn = | uddannelsessted = Aalborg Universitet | kendt_for = UPPAAL (værktøj til verifikation af realtidsmodeller) | beskæftigelse = Professor | beskrevet = | webside = https://vbn.aau.dk/en/persons/103881 | signatur = | signaturstørrelse = | andet = | noter = | nationalitet = Dansk | hæder = Medlem af Videnskabernes Selskab
Ridder af Dannebrog | arbejdsgiver = Aalborg Universitet }} Kim Guldstrand Larsen (født 23. december 1957) er professor ved Institut for Datalogi ved Aalborg Universitet. Hans forskningsområde inkluderer modellering, verifikation, performanceanalyse og syntese af realtids-, indlejrede systemer og cyber-fysiske systemer med anvendelse af og bidrag til concurrency teori og model checking. Fra Wikipedia