Kim Guldstrand Larsen
Background
- Ph.D. Edinburgh 1985
- Professor, Computer Science, Aalborg Uni, 1994-
- SICS, Stokholm 1990
- DoCS, Uppsala 1995
Research
- Modelling and verification of reactive systems (embedded systems, protocols, real-time systems). TOOLS!