Kim Guldstrand Larsen dating history
Who
are they
dating right now?
According to our records, Kim Guldstrand Larsen is possibly single.
Relationships
We have no records of past relationships for Kim Guldstrand Larsen.
About
Kim Guldstrand Larsen is a member of the following lists: 1957 births, Systems theory and Software engineering.
Contribute
Who is Kim Guldstrand Larsen dating? Kim Guldstrand Larsen partner, spouse list. Help us build our profile of Kim Guldstrand Larsen!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
| Birthday |
30th November, 1956
|
| Birthplace |
Aalborg Denmark
|
| Official Websites |
https://vbn.aau.dk/en/persons/103881
|
Kim Guldstrand Larsen R (born 1957) is a Danish scientist and professor of computer science at Aalborg University, Denmark. His field of research includes modeling, validation and verification, performance analysis, and synthesing of real-time, embedded, and cyber-physical systems utilizing and contributing to concurrency theory and model checking. Within this domain, he has been instrumental in the invention and continuous development of one of the most widely used verification tools, and has received several awards and honors for his work.
More about Kim Guldstrand Larsen
Less about Kim Guldstrand Larsen
