News
- GRUNDFOS ASSOCIATE PROFESSORSHIP IN CS
February 27, 2019 | 3:48 pmAssociate Professorship in Computer Science sponsored by Poul Due Jensen Foundation. Application by March 15, 2019.
- Future Energy 2018
February 23, 2018 | 2:15 pmDiCyPS Vision Day, March 8, 2018. Utzon Center, Slotspladsen 4, 9000 Aalborg.
- Full Professorship in CS
February 23, 2018 | 2:12 pmFull Professorship in Computer Science at Aalborg University. Deadline for application: April 2, 2018.
-
Archive for News »
- GRUNDFOS ASSOCIATE PROFESSORSHIP IN CS
Contact
Department of Computer Science
Aalborg UniversitySelma Lagerlöfs Vej 300,
DK-9220 Aalborg East
Office: 0.2.32
Mail: kgl ‘at’ cs.aau.dkPHONE : +45 99 40 80 80 (Switchboard)
PHONE : +45 99 40 88 93 (Direct)
PHONE : +45 22 17 11 59 (Mobile)
FAX : +45 98 15 98 89
Kim Guldstrand Larsen R
In 2015 I won an ERC Advanced Grant with the project LASSO for learning, analysis, synthesis and optimization of cyber physical systems.
I am also director of the Danish Innovation Network InfinIT, as well as the Innovation Fund Denmark research center DiCyPS. I am the PI of the newly funded Villum Synergy Project CLAIRE and the project BEOCOVID funded by Poul Due Jensen Grundfos Foundation. I am also co-PI in the Innovation Fund Denmark projects FED and DONUT and the Vienna Science and Technology Fund project WHATIF.
Research
My research interests include modeling and semantics, verification and logic, concurrency theory, performance analysis of real-time, embedded and cyber-physical systems, model checking and machine learning with numerous application in transport, energy and water management. I am prime investigator of the award winning tool UPPAAL as well as its branches targeting planning, optimization, testing, synthesis, machine learning and compositional analysis.
Affiliations
Upcoming Conferences (please submit)
Spin-outs
PhD Thesis, Edinburgh University available here.