Kim Guldstrand Larsen | |
---|---|
Born | |
Nationality | Danish |
Alma mater | University of Edinburgh (PhD) Aalborg University (MSc) |
Known for | Verification of Real-time computing in embedded systems |
Spouse | Merete Kruse Hansen |
Children | 2 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.
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]
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 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 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 . 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]
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:
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.
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.
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:
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.
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.
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.
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.
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.
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.