Kim Guldstrand Larsen

Last updated
Kim Guldstrand Larsen
Kim Guldstrand Larsen,.jpg
Born (1957-12-23) 23 December 1957 (age 66)
NationalityDanish
Alma mater University of Edinburgh (PhD)
Aalborg University (MSc)
Known forVerification of Real-time computing in embedded systems
SpouseMerete Kruse Hansen
Children2 daughters
Awards CAV Award
CONCUR Test of Time Award
Scientific career
Fields Computer science
Institutions Aalborg University
Website 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.

Contents

Education

Larsen has an MSc in mathematics from Aalborg University, 1982. [1] In 1986, he received his PhD in Computer Science from University of Edinburgh, advised by Robin Milner. [2]

Career

Since 1993, Larsen has been a professor in Computer Science at Aalborg Universitet. [3] 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). [4]

Larsen heads the Center for Embedded Software Systems (CISS). [5] 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  [ da ] and the Natural Science Foundation of China (NSFC). [6] [7] [8]

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  [ da ] 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. [9] [10] [11] [12]

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. [13] [14] "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). [15] [16]

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  [ da ]. 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. [17] [18] [19] [20]

Awards and honors (selected)

Selected works

Larsen has published six books (monographs) and more than 400 peer-reviewed papers and he has been cited many times (Google Scholar Citation Tracker). Selected works:

Related Research Articles

<span class="mw-page-title-main">Computer security</span> Protection of computer systems from information disclosure, theft or damage

Computer security is the protection of computer systems and networks from threats that may result in unauthorized information disclosure, theft of hardware, software, or data, as well as from the disruption or misdirection of the services they provide.

<span class="mw-page-title-main">Cybercrime</span> Type of crime based in computer networks

Cybercrime encompasses a wide range of criminal activities that are carried out using digital devices and/or networks. These crimes involve the use of technology to commit fraud, identity theft, data breaches, computer viruses, scams, and expanded upon in other malicious acts. Cybercriminals exploit vulnerabilities in computer systems and networks to gain unauthorized access, steal sensitive information, disrupt services, and cause financial or reputational harm to individuals, organizations, and governments.

<span class="mw-page-title-main">Aalborg University</span> Public university in Denmark

Aalborg University (AAU) is an international public university with campuses in Aalborg, Esbjerg, and Copenhagen, Denmark. Founded in 1974, the university awards bachelor's degrees, master's degrees, and PhD degrees in a wide variety of subjects within humanities, social sciences, information technology, design, engineering, exact sciences, and medicine.

UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types.

Educational technology is the combined use of computer hardware, software, and educational theory and practice to facilitate learning. When referred to with its abbreviation, "EdTech", it often refers to the industry of companies that create educational technology. In EdTech Inc.: Selling, Automating and Globalizing Higher Education in the Digital Age, Tanner Mirrlees and Shahid Alvi (2019) argue "EdTech is no exception to industry ownership and market rules" and "define the EdTech industries as all the privately owned companies currently involved in the financing, production and distribution of commercial hardware, software, cultural goods, services and platforms for the educational market with the goal of turning a profit. Many of these companies are US-based and rapidly expanding into educational markets across North America, and increasingly growing all over the world."

Neuroinformatics is the emergent field that combines informatics and neuroscience. Neuroinformatics is related with neuroscience data and information processing by artificial neural networks. There are three main directions where neuroinformatics has to be applied:

<span class="mw-page-title-main">Digital forensics</span> Branch of forensic science

Digital forensics is a branch of forensic science encompassing the recovery, investigation, examination, and analysis of material found in digital devices, often in relation to mobile devices and computer crime. The term "digital forensics" was originally used as a synonym for computer forensics but has expanded to cover investigation of all devices capable of storing digital data. With roots in the personal computing revolution of the late 1970s and early 1980s, the discipline evolved in a haphazard manner during the 1990s, and it was not until the early 21st century that national policies emerged.

A bigraph can be modelled as the superposition of a graph and a set of trees.

Privacy-enhancing technologies (PET) are technologies that embody fundamental data protection principles by minimizing personal data use, maximizing data security, and empowering individuals. PETs allow online users to protect the privacy of their personally identifiable information (PII), which is often provided to and handled by services or applications. PETs use techniques to minimize an information system's possession of personal data without losing functionality. Generally speaking, PETs can be categorized as either hard or soft privacy technologies.

Cyber-Physical Systems (CPS) are integrations of computation with physical processes. In cyber-physical systems, physical and software components are deeply intertwined, able to operate on different spatial and temporal scales, exhibit multiple and distinct behavioral modalities, and interact with each other in ways that change with context. CPS involves transdisciplinary approaches, merging theory of cybernetics, mechatronics, design and process science. The process control is often referred to as embedded systems. In embedded systems, the emphasis tends to be more on the computational elements, and less on an intense link between the computational and physical elements. CPS is also similar to the Internet of Things (IoT), sharing the same basic architecture; nevertheless, CPS presents a higher combination and coordination between physical and computational elements.

Man-in-the-browser, a form of Internet threat related to man-in-the-middle (MITM), is a proxy Trojan horse that infects a web browser by taking advantage of vulnerabilities in browser security to modify web pages, modify transaction content or insert additional transactions, all in a covert fashion invisible to both the user and host web application. A MitB attack will be successful irrespective of whether security mechanisms such as SSL/PKI and/or two- or three-factor authentication solutions are in place. A MitB attack may be countered by using out-of-band transaction verification, although SMS verification can be defeated by man-in-the-mobile (MitMo) malware infection on the mobile phone. Trojans may be detected and removed by antivirus software;, but a 2011 report concluded that additional measures on top of antivirus software were needed.

The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of (currently) four computer science conferences taking place annually at one conference site, usually end of March or April. Three of the four conferences are top ranked in software engineering and one (ESOP) is top ranked in programming languages.

<span class="mw-page-title-main">TAPAAL Model Checker</span>

TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets developed at Department of Computer Science at Aalborg University in Denmark and it is available for Linux, Windows and Mac OS X platforms.

<span class="mw-page-title-main">Jens Nielsen</span> Danish biologist

Jens Nielsen is the CEO of BioInnovation Institute, Copenhagen, Denmark, and professor of systems biology at Chalmers University of Technology, Gothenburg, Sweden. He is also an adjunct professor at the Danish Technical University and the University of Copenhagen. Nielsen is the most cited researcher in the field of metabolic engineering, and he is the most cited researcher in Biology and Biochemistry in Sweden and Denmark. He is the only foreign member of all three academies in the US and he is also foreign member of the Chinese Academy of Engineering. He was the founding president of the International Metabolic Engineering Society. He has additionally founded several biotech companies.

<span class="mw-page-title-main">Mads Græsbøll Christensen</span> Danish researcher

Mads Græsbøll Christensen is a Danish Professor in Audio Processing at Department of Architecture, Design & Media Technology, Aalborg University, where he is also head and founder of the Audio Analysis Lab which conducts research in audio and acoustic signal processing. Before that he worked at the Department of Electronic Systems at Aalborg University and has held visiting positions at Philips Research Labs, ENST, UCSB, and Columbia University. He has published extensively on these topics in books, scientific journals and conference proceedings, and he has given tutorials and keynote talks at major international scientific conferences.

<span class="mw-page-title-main">Anders P. Ravn</span> Danish computer scientist (1947–2019)

Anders Peter Ravn was a Danish computer scientist.

Christian S. Jensen is a Danish computer scientist who is a professor at Aalborg University.

Lenore D. Zuck is an Israeli-American computer scientist whose research involves formal methods in software engineering, as well as information privacy. She is a research professor of computer science at the University of Illinois Chicago.

<span class="mw-page-title-main">Thomas Sinkjær</span> Danish scientist (born 1958)

Thomas Sinkjær R is a Danish scientist and professor of neuroscience and technology at the Department of Health Science and Technology of Aalborg University, Denmark. He is the Secretary General of the Royal Danish Academy of Sciences and Letters and an elected fellow of the Danish Academy of Technical Sciences.

References

  1. Computer Science Aalborg University Research Evaluation 1991-1995 (PDF), 1996, p. 59, archived (PDF) from the original on 2023-08-11, retrieved 2023-12-01
  2. Larsen, Kim Guldstrand (1986). Context-dependent bisimulation between processes (PDF) (PhD thesis). University of Edinburgh.
  3. Aalborg University Institute of Electronic Systems Department of Mathematics and Computer Science Research Evaluation 1991-1995 (PDF), 1996-05-01, archived from the original (PDF) on 2022-12-05, retrieved 2023-08-09
  4. Holders of Inria International Chairs (PDF), 2019-11-01, archived from the original (PDF) on 2022-03-08, retrieved 2023-08-09
  5. CISS Management, archived from the original on 2023-06-04, retrieved 2023-08-10
  6. DaNES project description, archived from the original on 2022-05-21, retrieved 2023-08-10
  7. Speakers presentation at the ArtistDesign European Network of Excellence on Embedded Systems Design summer school 2009, archived from the original on 2023-06-10, retrieved 2023-08-10
  8. Meet the IDEA4CPS researchers, archived from the original on 2023-05-28, retrieved 2023-08-10
  9. "What is InfinIT?". 2021. Archived from the original on 2022-01-21. Retrieved 2023-08-11.
  10. DiCyPS in English, archived from the original on 2023-06-02, retrieved 2023-08-11
  11. The LASSO team, archived from the original on 2023-06-02, retrieved 2023-08-11
  12. 1 2 CORDIS factsheet on Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems, Grant agreement ID: 669844, 2023-05-04, archived from the original on 2023-03-27, retrieved 2023-08-11
  13. "UPPAAL team". Archived from the original on 2023-08-03. Retrieved 2023-08-11.
  14. Naeem, A.; Azam, F.; Amjad, A.; Anwar, M.W. (2018). "Comparison of Model Checking Tools Using Timed Automata - PRISM and UPPAAL". 2018 IEEE International Conference on Computer and Communication Engineering Technology (CCET). pp. 248–253. doi:10.1109/CCET.2018.8542231. ISBN   978-1-5386-7437-6. S2CID   53753025.
  15. 1 2 Larsen, Kim G.; Pettersson, Paul; Yi, Wang (1997). "UPPAAL in a Nutshell". International Journal on Software Tools for Technology Transfer. 1 (1–2): 134–152. doi: 10.1007/s100090050010 . ISSN   1433-2779.
  16. Larsen, Kim G.; Pettersson, Paul; Yi, Wang (December 1997), "SpringerNature Citation Details for 'UUPAAL in a Nutshell'", International Journal on Software Tools for Technology Transfer, 1 (1–2): 134–152, doi:10.1007/s100090050010, S2CID   648658 , retrieved 2023-08-14
  17. Members of the Royal Danish Academy of Sciences and Letters, archived from the original on 2020-08-09, retrieved 2023-09-22
  18. ATV's Digitale Vismandsråd (in Danish), archived from the original on 2023-08-14
  19. Computer Science, Aalborg University, Research Evaluation 2011-2015 (PDF), archived from the original (PDF) on 2023-08-16, retrieved 2023-08-16
  20. Medlemmer af referencegruppe for Det digitale område, industrien og rummet (in Danish), archived from the original on 2023-02-06, retrieved 2023-08-16
  21. Honorary Doctors of the Faculty of Science and Technology, Uppsala University, 2023-06-08, archived from the original on 2023-08-16, retrieved 2023-08-16
  22. Docteur honoris causa (in French), archived from the original on 2022-05-16, retrieved 2023-08-17
  23. Research Evaluation 2001–2005, Aalborg University, Department of Computer Science (PDF), 2006-03-01, archived from the original (PDF) on 2023-08-11, retrieved 2023-08-16
  24. Oversigt over modtagere af danske dekorationer (Directory of recipients of the Order of the Dannebrog) (in Danish), retrieved 2023-08-16
  25. AE member biography - Kim Guldstrand Larsen, 2012-10-05, archived from the original on 2022-07-07, retrieved 2023-08-17
  26. International Conference on Computer-Aided Verification, archived from the original on 2023-06-21, retrieved 2023-08-17
  27. Grundfos Prize Winners, archived from the original on 2023-03-30, retrieved 2023-08-17
  28. AAU-professor skal rådgive kinesisk premierminister om digitalisering (AAU professor to advise the Chinese Prime Minister on digitalization) (in Danish), 2019-01-21, archived from the original on 2023-08-17, retrieved 2023-08-17
  29. The Villum Investigators 2021 are fuelled by curiosity, 13 April 2021, archived from the original on 2023-08-20, retrieved 2023-09-24
  30. Test of Time award, archived from the original on 2023-04-29, retrieved 2023-09-02