キム・グルドストランド・ラーセン - 百科事典

キム・グルドストラン・ラーセン R（1957年生まれ）は、デンマークの科学者で、デンマークのアウルブルー大学のコンピュータサイエンス学科の教授です。彼の研究分野は、モデル化、検証、検証、パフォーマンス分析、リアルタイム、エンベデッド、サイバーフィジカルシステムの合成に焦点を当てており、並行理論とモデルチェックに貢献しています。この分野において、最も広く使用されている検証ツールの一つであるツールの発明と継続的な開発に貢献し、彼の研究に対して多くの賞と栄誉を受けています。

教育
ラーセンは、1982年にアウルブルー大学から数学のMScを取得しました。1986年にエジンバラ大学からコンピュータサイエンスの博士号を取得し、ロビン・ミルナーの指導のもとで学びました。

カリアー
1993年から、ラーセンはデンマークのアウルブルー大学のコンピュータサイエンス学科の教授としています。彼は世界中の多くの場所で訪問教授としても務めており、その中にはデジタル科学技術研究開発研究所（INRIA）（2016-2020年、国際椅子）も含まれます。

ラーセンは、エンベデッドソフトウェアシステムセンター（CISS）の責任者です。2007年から2011年まで、彼はデンマークの大学産業連合 Danish Network of Embedded Systems（DaNES）の事務局長を務めました。2011年から2017年まで、彼はデンマーク・中国サイバーフィジカルシステムセンター IDEA4CPSのデンマーク共同リーダーでありました。このセンターはデンマーク国立研究財団と中国自然科学基金会（NSFC）によって設立されました。

さらに、彼は2009年から2020年までデンマークICTイノベーションネットワーク（InfinIT）の事務局長を務め、2015年から2021年までデンマークのデータ集約型サイバーフィジカルシステムセンター（DiCyPS）の事務局長を務めました。DiCyPSはデンマーク革新基金によって資金を提供されました。2015年から2020年まで、彼は欧州研究財団（ERC）の高度な研究助成金により資金を提供されたサイバーフィジカルシステムの学習、分析、合成、最適化プロジェクト（LASSO）のプロジェクトリーダーを務めました。

ラーセンは、受賞歴のあるツールUPPAALの背後の主要な人物の一人であり、リアルタイムモデルの検証に最も広く使用されているツールの一つです。“UPPAAL in a Nutshell”は、ラーセンと同僚たちによって書かれ、Springerによって出版されたSoftware Tools for Technology Transferジャーナルにおいて最も引用されている論文の一つです。引用ランクは99パーセントです。

彼はデンマーク王立科学文学アカデミーのメンバーであり、デンマーク技術科学アカデミーのフェローおよびデジタル専門家（vismand）に選出されました。EUの第7フレームプログラム（FP7-ICT）の情報通信技術テーマの国立専門家として務め、現在はデンマーク高等教育・科学省がEUホライズン・ヨーロッパプログラムに関連してサービスを行うデジタル、産業、宇宙参照グループのメンバーです。

賞と栄誉（選定）
Uppsala大学、1999年、名誉博士（Honoris causa）
エコール・ノルマル・スーパイユル・パリ＝サクレイ（旧エコール・ノルマル・スーパイユル・ド・カシャン）、パリ、2007年、名誉博士（Honoris causa）
トムソン・サイエンティフィック賞（1990-2004年最も引用されたデンマークのコンピュータサイエンティスト）、2007年
デンマーク勲章の騎士、2007年
アカデミア・ヨーロッパのメンバー
CAV賞2013
ERC高度な研究助成金、2015年
グランドフォス賞2016
中国の外国人専門家、東北大学の名誉教授、2018年
ビリューム・インベスター2021（300万DKK）ビリューム財団から
CONCURテスト・オブ・タイム賞2022

選定作品
ラーセンは6冊の本（単著）と400件以上の同僚による査読論文を発表し、多くの引用を受けました（Google Scholar Citation Tracker）。選定作品：

Larsen, K. G.; Skou, A. (1991). "Bisimulation through probabilistic testing. Information and computation". Information and Computation. 94 (1): 1–28. doi:10.1016/0890-5401(91)90030-6.
UPPAAL in a Nutshell, 1997
Cassez, F.; Larsen, K.G (2000). Palamidessi, C. (ed.). The Impressive Power of Stopwatches. CONCUR 2000 - Concurrency Theory 11th International Conference. Lecture Notes in Computer Science. Berlin: Springer. pp. 138–152. doi:10.1007/3-540-44618-4_12. ISBN 9783540446187. Archived from the original (PDF) on 2023-07-08.
Aceto, L.; Ingólfsdóttir, A.; Larsen, K.G.; Srba, J. (2007). Reactive systems: modelling, specification and verification. Cambridge University Press. ISBN 9780521875462.
Larsen, K.G.; Benveniste, A.; Caillaud, B.; Nickovic, D.; Passerone, R.; Raclet, J.-B.; Reinkemeier, P.; Sangiovanni-Vincentelli, A.; Damm, W.; Henzinger, T.A. (2008). Contracts for System Design. Now Foundations and Research. doi:10.1561/1000000053. ISBN 978-1-68083-403-1.
David, A.; Larsen, K.G.; Legay, A.; Mikučionis, M.; Bøgsted Poulsen, D. (2015). "Uppaal SMC tutorial". TidsskriftInternational Journal on Software Tools for Technology Transfer. 17 (4): 397–415. doi:10.1007/s10009-014-0361-y.
Mao, H.; Chen, Y.; Jaeger, M.; Nielsen, T.D.; Larsen, K.G.; Nielsen, B. (2016). "Learning deterministic probabilistic automata from a model checking perspective". Machine Learning. 105 (2): 255–299. doi:10.1007/s10994-016-5565-9.
Furber, R.; Kozen, D.; Larsen, K.G.; Mardare, R.; Panangaden, P. (2017). "Unrestricted stone duality for Markov processes". 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Symposium on Logic in Computer Science (LICS). IEEE Press. doi:10.1109/LICS40289.2017.
Tappler, M.; Aichernig, Bernhard K.; Bacci, G.; Eichlseder, M.; Larsen, K.G. (2019). "L*-Based Learning of Markov Decision Processes". Formal Methods – The Next 30 Years. International Symposium on Formal Methods. Springer. pp. 651–669. arXiv:1906.12239. doi:10.1007/978-3-030-30942-8_38.
Bacci, Giorgio; Bacci, Giovanni; Larsen, K.G.; Mardare, R. (2019). "Converging from branching to linear metrics on Markov chains" (PDF). Mathematical Structures in Computer Science. 29 (1): 3–37. doi:10.1017/S0960129517000160. S2CID 15996500.

参考文献
[ここに参考文献を挿入]

外部リンク
アウルブルー大学のプロフィール
UPPAALリアルタイムシステムのモデル化、検証、検証のための統合ツール環境