Kim Guldstrand Larsen

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.

Kim Guldstrand Larsen
Kim Guldstrand Larsen i 2021 (Foto: Lars Horn / Baghuset)
Personlig information
Født	23. december 1957 (66 år)
Nationalitet	Dansk
Uddannelse og virke
Uddannelses­sted	Aalborg Universitet
Tilknyttet	Institut for Datalogi, Aalborg Universitet
Medlem af	Videnskabernes Selskab, Academia Europaea (fra 2012)
Beskæftigelse	Professor
Arbejdsgiver	Aalborg Universitet
Kendt for	UPPAAL (værktøj til verifikation af realtidsmodeller)
Nomineringer og priser
Udmærkelser	Medlem af Videnskabernes Selskab Ridder af Dannebrog
Eksterne henvisninger
https://vbn.aau.dk/en/persons/103881
Information med symbolet hentes fra Wikidata. Kildehenvisninger foreligger sammesteds.  [ redigér på Wikidata ]

Uddannelse

Kim Guldstrand Larsen er uddannet cand.scient. i matematik ved Aalborg Universitet i 1982. I 1986 modtog han sin ph.d. i computer science ved University of Edinburgh.

Karriere

Siden 1993 har Kim Guldstrand Larsen været professor i Computer Science ved Aalborg Universitet.Han har også været gæsteprofessor et antal steder i verden, bl.a. Det nationale center for IT-forskning i Frankrig (INRIA) (2016-2020) (i form af international chair).

Kim Guldstrand Larsen leder Center for Embedded Software Systems (CISS). Fra 2007-2011 var han leder af universitets-industri konsortiet Danish Network of Embedded Systems (DaNES), og fra 2011-2017 var han leder af Dansk-Kinesisk Center for IDEA4CPS: Foundations for Cyber-Physical Systems, etableret af Danmarks Grundforskningsfond og Natural Science Foundation of China (NSFC).

Derudover var han fra 2009-2020 leder af ICT Innovation Network (InfinIT), fra 2015-2021 var han leder af Innovationsfodens Center for Data-Intensive Cyber-Physical Systems (DiCyPS) og fra 2015-2020 var han leder af Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems (LASSO) finansieret af et ERC Advanced Grant.

Kim Guldstrand Larsen er hovedaktør bag det prisvindende værktøj UPPAAL, der er et af de mest udbredte værktøjer til verifikation af realtidsmodeller. "UPPAAL in a Nutshell" skrevet af Kim Guldstrand Larsen og kollegaer er et af de mest citerede papers i The Journal Software Tools for Technology Transfer udgivet af Springer (i den 99. percentil ift. antal citationer).

Han er medlem af Det Kongelige Danske Videnskabernes Selskab og digital vismand i Akademiet for de Tekniske Videnskaber, og han har fungeret som national ekspert for informations- og kommunikationsteknologi temaet under EUs 7. rammeprogram (FP7-ICT), og er i dag medlem af Uddannelses- og Forskningsministeriets referencegruppe for Det digitale område, industrien og rummet under EUs Horizon Europe program.

Hæder

Kim Guldstrand Larsen har modtaget en række hædersbevisninger og priser bl.a.:

• Æresdoktor (Honoris causa), Uppsala Uniersitet, 1999
• Æresdoktor (Honoris causa), Ecole Normal Superieure De Cachan, Paris, 2007
• Thomson Scientific Award som den mest citerede danske datalog 1990-2004
• Ridder af Dannebrog, 2007
• Medlem af Academia Europaea
• CAV Award 2013
• ERC Advanced Grant, 2015
• Grundfos Prize 2016
• Foreign Expert of China, Distinguished Professor, Northeastern University, 2018
• Willum Investigator 2021 (30 M DKK) fra Veluxfondene
• CONCUR Test of Time award 2022

Publikationer

Kim Guldstrand Larsen har udgivet 6 bøger og mere end 400 peer-reviewed papers og er citeret mange gange (https://scholar.google.dk/citations?user=neDFD60AAAAJ&hl=da). Udvalgte publikationer:

• Larsen, K. G.; Skou, A. (1991). "Bisimulation through probabilistic testing. Information and computation". Information and computation. 94 (1): 1-28. doi:10.1016/0890-5401(91)90030-6.
• UPPAAL in a Nutshell, 1997
• Cassez, F.; Larsen, K.G (2000). Palamidessi, C. (red.). The Impressive Power of Stopwatches. CONCUR 2000 - Concurrency Theory 11th International Conference. Lecture Notes in Computer Science. Berlin: Springer. s. 138-152. doi:10.1007/3-540-44618-4_12. ISBN 9783540446187. Arkiveret fra originalen (PDF) 2023-07-08.
• Aceto, L.; Ingólfsdóttir, A.; Larsen, K.G.; Srba, J. (2007). Reactive systems: modelling, specification and verification. Cambridge University Press. ISBN 9780521875462.
• Larsen, K.G.; Benveniste, A.; Caillaud, B.; Nickovic, D.; Passerone, R.; Raclet, J.-B.; Reinkemeier, P.; Sangiovanni-Vincentelli, A.; Damm, W.; Henzinger, T.A. (2008). Contracts for System Design. Now Foundations and Research. doi:10.1561/1000000053. ISBN 978-1-68083-403-1.
• David, A.; Larsen, K.G.; Legay, A.; Mikučionis, M.; Bøgsted Poulsen, D. (2015). "Uppaal SMC tutorial". TidsskriftInternational Journal on Software Tools for Technology Transfer. 17 (4): 397-415. doi:10.1007/s10009-014-0361-y.
• Mao, H.; Chen, Y.; Jaeger, M.; Nielsen, T.D.; Larsen, K.G.; Nielsen, B. (2016). "Learning deterministic probabilistic automata from a model checking perspective". Machine Learning. 105 (2): 255-299. doi:10.1007/s10994-016-5565-9.
• Furber, R.; Kozen, D.; Larsen, K.G.; Mardare, R.; Panangaden, P. (2017). "Unrestricted stone duality for Markov processes". 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Symposium on Logic in Computer Science (LICS). IEEE Press. doi:10.1109/LICS40289.2017.
• Tappler, M.; Aichernig; Bacci, G.; Eichlseder, M.; Larsen, K.G. (2019). "L*-Based Learning of Markov Decision Processes". Formal Methods – The Next 30 Years. International Symposium on Formal Methods. Springer. s. 651-669. doi:10.1007/978-3-030-30942-8_38.
• Cassez, F.; Larsen, K.G. (2019). "Converging from branching to linear metrics on Markov chains". Mathematical Structures in Computer Science. 29 (1): 3-37. doi:10.1017/S0960129517000160.

Referencer

1. Biography – Kim Guldstrand Larsen, Aalborg Universitet, hentet 5. september 2023
2. Aalborg University Institute of Electronic Systems Department of Mathematics and Computer Science Research Evaluation 1991-1995 (PDF) (engelsk), 1996-05-01, arkiveret fra originalen (PDF) 2022-12-05, hentet 2023-08-09
3. Holders of Inria International Chairs (PDF) (engelsk), 2019-11-01, arkiveret fra originalen (PDF) 2022-03-08, hentet 2023-08-09
4. "Prestigfyldt gæsteprofessorat til Kim Guldstrand Larsen". Aktuel Elektronik. TechMedia. 2016-08-26. Arkiveret fra originalen (ipaper) 2023-06-20. Hentet 2023-08-09.
5. CISS Management (engelsk), arkiveret fra originalen 2023-06-04, hentet 2023-08-10
6. DaNES project description (engelsk), arkiveret fra originalen 2022-05-21, hentet 2023-08-10
7. Speakers presentation at the ArtistDesign European Network of Excellence on Embedded Systems Design summer school 2009 (engelsk), arkiveret fra originalen 2023-06-10, hentet 2023-08-10
8. Meet the IDEA4CPS researchers (engelsk), arkiveret fra originalen 2023-05-28, hentet 2023-08-10
9. What is InfinIT? (engelsk), 2021, arkiveret fra originalen 2022-01-21, hentet 2023-08-11
10. DiCyPS in English (engelsk), arkiveret fra originalen 2023-06-02, hentet 2023-08-11
11. The LASSO team (engelsk), arkiveret fra originalen 2023-06-02, hentet 2023-08-11
12. CORDIS factsheet on Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems, Grant agreement ID: 669844 (engelsk), 2023-05-04, arkiveret fra originalen 2023-03-27, hentet 2023-08-11
13. Naeem, A.; Azam, F.; Amjad, A.; Anwar, M.W. (2018). "Comparison of Model Checking Tools Using Timed Automata - PRISM and UPPAAL". IEEE International Conference on Computer and Communication Engineering Technology (CCET): 248-253. doi:10.1109/CCET.2018.8542231. ISBN 978-1-5386-7437-6.
14. "UPPAAL team" (engelsk). Arkiveret fra originalen 2023-08-03. Hentet 2023-08-11.
15. "UPPAAL in a Nutshell". International Journal on Software Tools for Technology Transfer. 1: 134-152. 1997. doi:10.1007/s100090050010. ISSN 1433-2779.
16. SpringerNature Citation Details for 'UUPAAL in a Nutshell', hentet 2023-08-14
17. Medlemmer af Det Kongelige Danske Videnskabernes Selskab, arkiveret fra originalen 2023-08-15, hentet 2023-08-15
18. ATV's Digitale Vismandsråd, arkiveret fra originalen 2023-08-14
19. Computer Science, Aalborg University, Research Evaluation 2011-2015 (PDF) (engelsk), arkiveret fra originalen (PDF) 2023-08-16, hentet 2023-08-16
20. Medlemmer af referencegruppe for Det digitale område, industrien og rummet, arkiveret fra originalen 2023-02-06, hentet 2023-08-16
21. Honorary Doctors of the Faculty of Science and Technology, Uppsala University (engelsk), 2023-06-08, arkiveret fra originalen 2023-08-16, hentet 2023-08-16
22. Docteur honoris causa (fransk), arkiveret fra originalen 2022-05-16, hentet 2023-08-17
23. Research Evaluation 2001–2005, Aalborg University, Department of Computer Science (PDF) (engelsk), 2006-03-01, arkiveret fra originalen (PDF) 2023-08-11, hentet 2023-08-16
24. Oversigt over modtagere af danske dekorationer, hentet 2023-08-16
25. AE member biography - Kim Guldstrand Larsen (engelsk), 2012-10-05, arkiveret fra originalen 2022-07-07, hentet 2023-08-17
26. International Conference on Computer-Aided Verification (engelsk), arkiveret fra originalen 2023-06-21, hentet 2023-08-17
27. Grundfos Prize Winners (engelsk), arkiveret fra originalen 2023-03-30, hentet 2023-08-17
28. AAU-professor skal rådgive kinesisk premierminister om digitalisering, 2019-01-21, arkiveret fra originalen 2023-08-17, hentet 2023-08-17
29. Villum Investigators 2021 har nysgerrigheden som brændstof, arkiveret fra originalen 2022-09-28, hentet 2023-09-02
30. Test of Time award (engelsk), arkiveret fra originalen 2023-04-29, hentet 2023-09-02

Eksterne henvisninger

• Profil ved Aalborg Universitet
• UPPAAL an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata