Kim Guldstrand Larsen (Preferred)
Kim Guldstrand Larsen
Full Professor, Computer Science, Aalborg University
- Joined May 2023
Names
Emails
****@cs.aau.dk (Confirmed)
Personal Links
Career & Education History
Full Professor
Computer Science, Aalborg University (cs.aau.dk)
1993 – 2025
Advisors, Relations & Conflicts
Expertise
Synthesis, Reinforcement Learning
2010 – 2023
Embedded Systems
2000 – 2010
Model Checking
1990 – 2000
Concurrency Theory
1982 – 1990
Domain Theory
1980 – 1982