Kim Guldstrand Larsen

Aalborg University

  • Joined May 2023

Names

Kim Guldstrand Larsen (Preferred)

Emails

****@cs.aau.dk (Confirmed)

Personal Links

Education & Career History

Full Professor
Aalborg University (cs.aau.dk)
1993 – 2023
 

Advisors, Relations & Conflicts

No relations added

Expertise

Synthesis, Reinforcement Learning
2010 – 2023
 
Embedded Systems
2000 – 2010
 
Model Checking
1990 – 2000
 
Concurrency Theory
1982 – 1990
 
Domain Theory
1980 – 1982