Kim Guldstrand Larsen

Phone+4599408893, 2217 1159, 9940 8893, 9940 9798
Emailkglcs.aaudk
Websitehttp://www.cs.aau.dk/~kgl/

Selma Lagerløfs Vej 300, 1-2-16
9220 Aalborg Øst
Denmark
Selma Lagerløfs Vej 300, 1-2-16
9220 Aalborg Ø
Denmark
Selma Lagerlöfs Vej 300
9220 Aalborg Ø
Denmark

Research activity per year

Keywords

Computer Science
Mathematics and Statistics
Electronics

Fingerprint

The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

1 Similar Profiles

1 Not started
7 Active
28 Finished

Classique - Center for Classical Communication in the Quantum Era
Popovski, P. (PI), Østergaard, J. (CoI), Pedersen, T. G. (CoI), Cornean, H. (CoI) & Larsen, K. G. (CoI)
Danish National Research Foundation
01/02/2025 → 31/01/2031
Project: Research
EQuaL: Equivalence Checking of Quantum Circuits via Tensor Decision Diagrams and Machine Learning
Larsen, K. G. (PI), Schilling, C. (CoI) & Tschaikowski, M. (CoI)
15/12/2024 → 14/12/2027
Project: Research
AAU Water
Lykke, A. (Project Coordinator), Quist-Jensen, C. A. (PI), Vollertsen, J. (PI), Nielsen, P. H. (PI), Larsen, K. G. (PI), Ali, A. (PI), Aschmoneit, F. J. (PI), Pomianowski, M. Z. (PI) & Wisniewski, R. (PI)
01/05/2024 → …
Project: Research
STORM_SAFE: Software reliability for critical infrastructures: Co-Development, Implementation and wider application of solutions in Pilot Infrastructures such as Storm Surge Barriers
Goorden, M. (Project Participant), Schilling, C. (Project Participant), Mikučionis, M. (Project Participant) & Larsen, K. G. (Project Participant)
01/01/2024 → 31/12/2027
Project: Research
Data Processing and Selection for Improving In-field Data Quality in Battery Health Management
Weinreich, N. A. (PI), Teodorescu, R. (Supervisor) & Larsen, K. G. (Supervisor)
01/08/2023 → 31/07/2026
Project: PhD Project

Optimal control strategies for stormwater detention ponds
Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R., Srba, J. & Zhao, G., Aug 2024, In: Nonlinear Analysis: Hybrid Systems. 53, 101504.
Research output: Contribution to journal › Journal article › Research › peer-review

Open Access
File
2 Citations (Scopus)

56 Downloads (Pure)
Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning
Kim, E. H., Nielsen, T. D., Larsen, K. G., Goorden, M., Ghaffari, M., Wasowski, A. & Høeg-Petersen, A. H., 5 Jul 2024, (Submitted) In: Journal - in the process . p. 1-18 18 p.
Research output: Contribution to journal › Journal article › Research › peer-review
A Data-Selection Framework for Data-Efficient Battery Parameter Estimation
Weinreich, N. A., Teodorescu, R. & Larsen, K. G., 2025, (Accepted/In press) 2025 IEEE Energy Conversion Congress & Exposition Asia (ECCE-Asia).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access
File
14 Downloads (Pure)
CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles
Gu, R., Tan, K., Høeg-Petersen, A. H., Feng, L. & Larsen, K. G., 2025, Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 385-404 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15221 LNCS).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Doing More with Less: a Survey of Data Selection Methods for Mathematical Modeling
Weinreich, N. A., Oshnoei, A., Teodorescu, R. & Larsen, K. G., 2025, (Accepted/In press) In: IEEE Transactions on Knowledge and Data Engineering.
Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. A. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator) & Zhao, G. (Creator), Zenodo, 12 Jun 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Dataset
Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package
Dierl, S. (Contributor), Howar, F. M. (Contributor), Kauffman, S. (Contributor), Kristjansen, M. (Contributor), Larsen, K. G. (Contributor), Lorber, F. (Contributor) & Mauritz, M. (Contributor), Zenodo, 2023
DOI: 10.5281/zenodo.7766789, https://zenodo.org/record/7766789
Dataset
Models for "Optimal Control Strategies for Stormwater Detention Ponds"
Goorden, M. A. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator), Srba, J. (Creator) & Zhao, G. (Creator), Zenodo, 30 May 2022
DOI: 10.5281/zenodo.6592380, https://zenodo.org/record/6592380
Dataset
Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
Larsen, K. G. (Contributor), Mariegaard, A. (Contributor), Schmid, S. (Contributor) & Srba, J. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.6534949, https://zenodo.org/record/6534949
Dataset
Reproducibility Package for Extended Abstract Dependency Graphs.
Enevoldsen, S. (Contributor), Larsen, K. (Contributor) & Srba, J. (Contributor), Zenodo, 2020
DOI: 10.5281/zenodo.3691837, https://zenodo.org/record/3691837
Dataset

Best Paper Award
Bacci, G. (Recipient), Larsen, K. G. (Recipient), Markey, N. (Recipient), Bouyer, P. (Recipient), Fahrenberg, U. (Recipient) & Reynier, P.-A. (Recipient), 17 Jul 2018
Prize: Conference prizes
Honary Doctorate: for his contributions to Embedded Systems verification
Larsen, K. G. (Recipient), 27 Nov 2007
Prize: Other prizes
Ridder af Dannebrog
Larsen, K. G. (Recipient), 1 Aug 2007
Prize: Honorary prizes and appointments

14 Conference organisation or participation
6 Talks and presentations in private or public companies
1 Series editor
1 External teaching and course activities at other universities

International Symposium on Mathematical Foundations of Computer Science (Event)
Larsen, K. G. (Peer reviewer), Bodlaender, H. L. (Editor) & Raskin, J.-F. (Editor)
21 Aug 2017 → 25 Aug 2017
Activity: Editorial work and peer review › Series editor › Research
FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science
Larsen, K. G. (Participant)
12 Dec 2007 → 14 Dec 2007
Activity: Attending an event › Conference organisation or participation
Embedded Systems Workshop : ESI en STW Progress
Larsen, K. G. (Participant)
17 Oct 2007 → 20 Oct 2007
Activity: Attending an event › Conference organisation or participation
NWPT07 : The 19th Nordic Workshop on Programming Theory
Larsen, K. G. (Participant)
10 Oct 2007 → 12 Oct 2007
Activity: Attending an event › Conference organisation or participation
Embedded Systems Week : Foundations of Component-based Design
Larsen, K. G. (Participant)
30 Sept 2007 → 1 Oct 2007
Activity: Attending an event › Conference organisation or participation

Digitale Vismænd: Begrebet it-specialister er blevet udvandet, sæt mål på typer af it-uddannede i fremtiden
Larsen, K. G.
22/08/2024
1 item of Media coverage
Press/Media: Press / Media
Den intelligente fjernvarmetvilling skal give fleksibilitet i energi-infrastrukturen
Larsen, K. G.
30/01/2024
1 Media contribution
Press/Media: Press / Media
Videnskabernes Selskab: ChatGPT sender forskningen ind i en ny epoke - og det kalder på nye spilleregler
Larsen, K. G. & Sinkjær, T.
16/11/2023
1 Media contribution
Press/Media: Press / Media
Ny teknologi skal forhindre oversvømmelser
Larsen, K. G.
28/12/2021
1 item of Media coverage
Press/Media: Press / Media
Tre topforskere fra Aalborg Universitet modtager kæmpe forskningsbevilling
Larsen, K. G., Popovski, P. & Teodorescu, R.
02/12/2021 → 06/12/2021
6 items of Media coverage
Press/Media: Press / Media

Kim Guldstrand Larsen

Personal profile

Keywords

Fingerprint

Collaborations from the last five years

Dive into details

Classique - Center for Classical Communication in the Quantum Era

EQuaL: Equivalence Checking of Quantum Circuits via Tensor Decision Diagrams and Machine Learning

AAU Water

STORM_SAFE: Software reliability for critical infrastructures: Co-Development, Implementation and wider application of solutions in Pilot Infrastructures such as Storm Surge Barriers

Data Processing and Selection for Improving In-field Data Quality in Battery Health Management

Optimal control strategies for stormwater detention ponds

Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning

A Data-Selection Framework for Data-Efficient Battery Parameter Estimation

CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles

Doing More with Less: a Survey of Data Selection Methods for Mathematical Modeling

Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"

Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package

Models for "Optimal Control Strategies for Stormwater Detention Ponds"

Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences

Reproducibility Package for Extended Abstract Dependency Graphs.

Best Paper Award

Honary Doctorate: for his contributions to Embedded Systems verification

Ridder af Dannebrog

International Symposium on Mathematical Foundations of Computer Science (Event)

FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science

Embedded Systems Workshop : ESI en STW Progress

NWPT07 : The 19th Nordic Workshop on Programming Theory

Embedded Systems Week : Foundations of Component-based Design

Digitale Vismænd: Begrebet it-specialister er blevet udvandet, sæt mål på typer af it-uddannede i fremtiden

Den intelligente fjernvarmetvilling skal give fleksibilitet i energi-infrastrukturen

Videnskabernes Selskab: ChatGPT sender forskningen ind i en ny epoke - og det kalder på nye spilleregler

Ny teknologi skal forhindre oversvømmelser

Tre topforskere fra Aalborg Universitet modtager kæmpe forskningsbevilling

Kim Guldstrand Larsen

Personal profile

Keywords

Fingerprint

Collaborations from the last five years

Projects

Research output

Datasets

Prizes

Activities

Press/Media