Age, Biography and Wiki
Kim Guldstrand Larsen was born on 23 December, 1957 in Aalborg Denmark, is an A member of the Royal Danish Academy of Sciences and letter. Discover Kim Guldstrand Larsen's Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is he in this year and how he spends money? Also learn how he earned most of networth at the age of 66 years old?
| Popular As |
N/A |
| Occupation |
N/A |
| Age |
66 years old |
| Zodiac Sign |
Capricorn |
| Born |
23 December, 1957 |
| Birthday |
23 December |
| Birthplace |
Aalborg Denmark |
| Nationality |
|
We recommend you to check the complete list of Famous People born on 23 December.
He is a member of famous Member with the age 66 years old group.
Kim Guldstrand Larsen Height, Weight & Measurements
At 66 years old, Kim Guldstrand Larsen height not available right now. We will update Kim Guldstrand Larsen's Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.
| Physical Status |
| Height |
Not Available |
| Weight |
Not Available |
| Body Measurements |
Not Available |
| Eye Color |
Not Available |
| Hair Color |
Not Available |
Who Is Kim Guldstrand Larsen's Wife?
His wife is Merete Kruse Hansen
| Family |
| Parents |
Not Available |
| Wife |
Merete Kruse Hansen |
| Sibling |
Not Available |
| Children |
2 daughters |
Kim Guldstrand Larsen Net Worth
His net worth has been growing significantly in 2023-2024. So, how much is Kim Guldstrand Larsen worth at the age of 66 years old? Kim Guldstrand Larsen’s income source is mostly from being a successful Member. He is from . We have estimated Kim Guldstrand Larsen's net worth, money, salary, income, and assets.
| Net Worth in 2024 |
$1 Million - $5 Million |
| Salary in 2024 |
Under Review |
| Net Worth in 2023 |
Pending |
| Salary in 2023 |
Under Review |
| House |
Not Available |
| Cars |
Not Available |
| Source of Income |
Member |
Kim Guldstrand Larsen Social Network
| Instagram |
|
| Linkedin |
|
| Twitter |
|
| Facebook |
|
| Wikipedia |
|
| Imdb |
|
Timeline
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.
Larsen has an MSc in mathematics from Aalborg University, 1982.
In 1986, he received his PhD in Computer Science from University of Edinburgh, advised by Robin Milner.
Since 1993, Larsen has been a professor in Computer Science at Aalborg Universitet.
"UPPAAL in a Nutshell," written by Larsen and colleagues, is one of the most cited papers in The Journal Software Tools for Technology Transfer, published by Springer (citation rank in the 99th percentile).
He is a member of Royal Danish Academy of Sciences and Letters and elected fellow and digital expert (vismand) in the Danish Academy of Technical Sciences.
He has served as the national expert for the Information and Communication Technology theme under the EU's 7th Framework Programme (FP7-ICT), and currently he is a member of the Digital, Industry, and Space referencegroup that serves the Danish Ministry of Higher Education and Science in connection to the EU Horizon Europe program.
Larsen has published six books (monographs) and more than 400 peer-reviewed papers and he has been cited many times (Google Scholar Citation Tracker).
From 2007 to 2011, he was director of the university-industry consortium Danish Network of Embedded Systems (DaNES), and from 2011 to 2017, he was the Danish co-lead of the Danish-Chinese Center for IDEA4CPS: Foundations for Cyber-Physical Systems, established by the Danish National Research Foundation and the Natural Science Foundation of China (NSFC).
In addition, he was director of the Danish ICT Innovation Network (InfinIT) from 2009 to 2020, director of the Center for Data-Intensive Cyber-Physical Systems (DiCyPS) funded by Innovation Fund Denmark from 2015 to 2021, and head of project on the Learning, Analysis, Synthesis, and Optimization of Cyber-Physical Systems (LASSO) project from 2015 to 2020, funded by an ERC Advanced Grant.
Larsen is one of the key figures behind the award-winning tool UPPAAL, which is one of the most widely used tools for the verification of real-time models.
He has also been a visiting professor at several places around the world, including the National Institute for Research in Digital Science and Technology (INRIA) (as an international chair 2016-2020).
Larsen heads the Center for Embedded Software Systems (CISS).
