Ким Гулдстранд Ларсен

Ким Гулдстранд Ларсен
Ким Гулдстранд Ларсен
Рожденный	23 декабря 1957 г. (66 лет) ; Ольборг Дания
Национальность	датский
Альма-матер	Эдинбургский университет (доктор философии) ; Ольборгский университет (магистр)
Известный	Верификация вычислений в реальном времени во встроенных системах
Супруг	Мерете Крузе Хансен
Дети	2 дочери
Награды	Премия КАВ ; Премия CONCUR «Испытание временем» ;
	Научная карьера
Поля	Информатика
Учреждения	Ольборгский университет
Веб-сайт	https://vbn.aau.dk/en/persons/103881

Ким Гулдстранд Ларсен Р. (род. 1957) — датский учёный и профессор информатики в Ольборгском университете , Дания . Область его исследований включает моделирование , валидацию и верификацию, анализ производительности и синтез систем реального времени , встроенных и киберфизических использующих и вносящих вклад в теорию параллелизма и проверку моделей . В этой области он сыграл важную роль в изобретении и постоянном развитии одного из наиболее широко используемых инструментов проверки и получил несколько наград и наград за свою работу.

Образование

Ларсен получил степень магистра математики в Ольборгском университете в 1982 году. ^[1] В 1986 году он получил степень доктора компьютерных наук в Эдинбургском университете под руководством Робина Милнера . ^[2]

Карьера

С 1993 года Ларсен является профессором компьютерных наук в Ольборгском университете. ^[3] Он также был приглашенным профессором в нескольких местах по всему миру, в том числе в Национальном институте исследований в области цифровой науки и технологий (INRIA) (в качестве международного председателя в 2016–2020 гг.). ^[4]

Ларсен возглавляет Центр встраиваемых программных систем (CISS). ^[5] С 2007 по 2011 год он был директором консорциума университетов и промышленности Датской сети встраиваемых систем (DaNES), а с 2011 по 2017 год он был соруководителем Датско-китайского центра IDEA4CPS: основы киберфизических исследований. Системы, созданные Датским национальным исследовательским фондом [ да ] и Фондом естественных наук Китая (NSFC) . ^[6]^[7]^[8]

Кроме того, он был директором Датской сети инноваций в области ИКТ (InfinIT) с 2009 по 2020 год, директором Центра киберфизических систем с интенсивным использованием данных (DiCyPS), финансируемого Инновационным фондом Дании [ da ] с 2015 по 2021 год, и главой проекта «Обучение, анализ, синтез и оптимизация киберфизических систем» (LASSO) с 2015 по 2020 год, финансируемого расширенным грантом ERC . ^[9]^[10]^[11]^[12]

Ларсен — одна из ключевых фигур в создании отмеченного наградами инструмента UPPAAL , который является одним из наиболее широко используемых инструментов для проверки моделей в реальном времени. ^[13]^[14] «UPPAAL в двух словах», написанная Ларсеном и его коллегами, является одной из наиболее цитируемых статей в журнале «Software Tools for Technology Transfer», изданном Springer (рейтинг цитируемости в 99-м процентиле). ^[15]^[16]

Он является членом Датской королевской академии наук и литературы и избран научным сотрудником и экспертом по цифровым технологиям (vismand) в Датской академии технических наук [ da ] . Он работал национальным экспертом по теме «Информационные и коммуникационные технологии» в рамках 7-й рамочной программы ЕС (FP7-ICT) , а в настоящее время он является членом справочной группы по цифровым технологиям, промышленности и космосу, которая обслуживает Министерство высшего образования и Наука в связи с программой ЕС Horizon Europe . ^[17]^[18]^[19]^[20]

Награды и награды (выбрано)

Почетный доктор (Honoris causa) Уппсальского университета , 1999 г. ^[21]
Почетный доктор (Honoris causa), Высшая нормальная школа Париж-Сакле (ранее Высшая нормальная школа Кашан), Париж, 2007 г. ^[22]
Научная премия Thomson как наиболее цитируемый датский учёный-компьютерщик 1990–2004 гг. ^[23]
Кавалер ордена Даннеброга , 2007 г. ^[24]
Член Европейской академии ^[25]
КАВ 2013 Премия ^[26]
Продвинутый грант ERC, 2015 г. ^[12]
Премия Grundfos [ да ] 2016 г. ^[27]
Иностранный эксперт Китая, заслуженный профессор Северо-Восточного университета , 2018 г. ^[28]
Villum Investigator 2021 (30 млн датских крон) от Villum Foundation ^[29]
Награда CONCUR «Испытание временем 2022» ^[30]

Избранные работы

Ларсен опубликовал шесть книг (монографий) и более 400 рецензируемых статей, его много раз цитировали ( Google Scholar Citation Tracker ). Избранные работы:

Ларсен, КГ; Скоу, А. (1991). «Бисимуляция посредством вероятностного тестирования. Информация и вычисления» . Информация и вычисления . 94 (1): 1–28. дои : 10.1016/0890-5401(91)90030-6 .
Коротко об УПААЛе, 1997 г. ^[15]
Кассез, Ф.; Ларсен, КГ (2000). Паламидесси, К. (ред.). Впечатляющая сила секундомеров . CONCUR 2000 - 11-я Международная конференция по теории параллелизма. Конспекты лекций по информатике. Берлин: Шпрингер. стр. 138–152. дои : 10.1007/3-540-44618-4_12 . ISBN 9783540446187 . Архивировано из оригинала (PDF) 8 июля 2023 г.
Ачето, Л.; Ингольфсдоттир, А.; Ларсен, КГ; Срба, Дж. (2007). Реактивные системы: моделирование, спецификация и верификация . Издательство Кембриджского университета. ISBN 9780521875462 .
Ларсен, КГ; Бенвенист, А.; Кайо, Б.; Никович, Д.; Пассероне, Р.; Раклет, Ж.-Б.; Райнкемайер, П.; Санджованни-Винсентелли, А.; Дамм, В.; Хензингер, Т.А. (2008). Контракты на системное проектирование . Теперь фонды и исследования. дои : 10.1561/1000000053 . ISBN 978-1-68083-403-1 .
Дэвид, А.; Ларсен, КГ; Легей, А.; Микучионис, М.; Богстед Поульсен, Д. (2015). «Учебное пособие по Uppaal SMC» . Международный журнал по программным инструментам для трансфера технологий . 17 (4): 397–415. дои : 10.1007/s10009-014-0361-y .
Мао, Х.; Чен, Ю.; Джагер, М.; Нильсен, Т.Д.; Ларсен, КГ; Нильсен, Б. (2016). «Изучение детерминированных вероятностных автоматов с точки зрения проверки моделей» . Машинное обучение . 105 (2): 255–299. дои : 10.1007/s10994-016-5565-9 .
Фербер, Р.; Козен, Д.; Ларсен, КГ; Мардаре, Р.; Панангаден, П. (2017). «Неограниченная каменная двойственность для марковских процессов». 2017 32-й ежегодный симпозиум ACM/IEEE по логике в информатике (LICS) . Симпозиум IEEE по логике в информатике (LICS). IEEE Пресс. дои : 10.1109/LICS40289.2017 .
Тапплер, М.; Айхерниг, Бернхард К.; Баччи, Г.; Эйхльседер, М.; Ларсен, КГ (2019). «L*-обучение марковских процессов принятия решений» . Формальные методы – следующие 30 лет . Международный симпозиум по формальным методам. Спрингер. стр. 651–669. arXiv : 1906.12239 . дои : 10.1007/978-3-030-30942-8_38 .
Баччи, Джорджо; Баччи, Джованни; Ларсен, КГ; Мардаре, Р. (2019). «Переход от ветвления к линейным метрикам в цепях Маркова» (PDF) . Математические структуры в информатике . 29 (1): 3–37. дои : 10.1017/S0960129517000160 . S2CID 15996500 .

Ссылки

^ Оценка исследований Ольборгского университета в области компьютерных наук, 1991–1995 гг. (PDF) , 1996, стр. 59, заархивировано (PDF) из оригинала 11 августа 2023 г. , получено 1 декабря 2023 г.
^ Ларсен, Ким Гулдстранд (1986). Контекстно-зависимое бисимуляция между процессами (PDF) (кандидатская диссертация). Эдинбургский университет.
^ Институт электронных систем Ольборгского университета, кафедра математики и компьютерных наук, оценка исследований 1991–1995 (PDF) , 1 мая 1996 г., заархивировано из оригинала (PDF) 05 декабря 2022 г. , получено 9 августа 2023 г.
^ Держатели стульев Inria International Chairs (PDF) , 11 ноября 2019 г., заархивировано из оригинала (PDF) 8 марта 2022 г. , получено 9 августа 2023 г.
^ CISS Management , заархивировано из оригинала 4 июня 2023 г. , получено 10 августа 2023 г.
^ Описание проекта DaNES , заархивировано из оригинала 21 мая 2022 г. , получено 10 августа 2023 г.
^ Презентация докладчиков на летней школе ArtistDesign European Network of Excellence on Embedded Systems Design 2009 , заархивировано из оригинала 10 июня 2023 г. , получено 10 августа 2023 г.
^ Познакомьтесь с исследователями IDEA4CPS . Архивировано из оригинала 28 мая 2023 г. , получено 10 августа 2023 г.
^ «Что такое ИнфинИТ?» . 2021. Архивировано из оригинала 21 января 2022 г. Проверено 11 августа 2023 г.
^ DiCyPS на английском языке , заархивировано из оригинала 2 июня 2023 г. , получено 11 августа 2023 г.
^ Команда LASSO , заархивировано из оригинала 2 июня 2023 г. , получено 11 августа 2023 г.
^ Перейти обратно: ^а ^б Информационный бюллетень CORDIS по обучению, анализу, синтезу и оптимизации киберфизических систем, идентификатор грантового соглашения: 669844 , 04 мая 2023 г., заархивировано из оригинала 27 марта 2023 г. , получено 11 августа 2023 г.
^ «Команда УППААЛ» . Архивировано из оригинала 3 августа 2023 г. Проверено 11 августа 2023 г.
^ Наим, А.; Азам, Ф.; Амджад, А.; Анвар, М.В. (2018). «Сравнение инструментов проверки моделей с использованием временных автоматов - PRISM и UPPAAL». Международная конференция IEEE по компьютерным и коммуникационным технологиям (CCET) 2018 . стр. 248–253. дои : 10.1109/CCET.2018.8542231 . ISBN 978-1-5386-7437-6 . S2CID 53753025 .
^ Перейти обратно: ^а ^б Ларсен, Ким Г.; Петтерссон, Пол; Йи, Ван (1997). «УППААЛ в двух словах» . Международный журнал по программным инструментам для трансфера технологий . 1 (1–2): 134–152. дои : 10.1007/s100090050010 . ISSN 1433-2779 .
^ Ларсен, Ким Г.; Петтерссон, Пол; Йи, Ван (декабрь 1997 г.), «Подробности цитирования SpringerNature для« UUPAAL в двух словах » » , Международный журнал по программным инструментам для передачи технологий , 1 (1–2): 134–152, doi : 10.1007/s100090050010 , S2CID 648658 , получено 14 августа 2023 г.
^ Члены Датской королевской академии наук и литературы , архивировано из оригинала 9 августа 2020 г. , получено 22 сентября 2023 г.
^ Digitale Vismandsråd от ATV (на датском языке), заархивировано из оригинала 14 августа 2023 г.
^ Информатика, Ольборгский университет, оценка исследований 2011–2015 гг . (PDF) , заархивировано из оригинала (PDF) 16 августа 2023 г. , получено 16 августа 2023 г.
^ Члены справочной группы по цифровой сфере, промышленности и космосу (на датском языке), заархивировано из оригинала 6 февраля 2023 г. , получено 16 августа 2023 г.
^ Почетные доктора факультета науки и технологий Упсальского университета , 8 июня 2023 г., заархивировано из оригинала 16 августа 2023 г. , получено 16 августа 2023 г.
^ Docteur Honoris Causa (на французском языке), заархивировано из оригинала 16 мая 2022 г. , получено 17 августа 2023 г.
^ Оценка исследований 2001–2005 гг., Ольборгский университет, факультет компьютерных наук (PDF) , 01 марта 2006 г., заархивировано из оригинала (PDF) 11 августа 2023 г. , получено 16 августа 2023 г.
^ Справочник кавалеров Ордена Даннеброга (на датском языке) , получено 16 августа 2023 г.
^ Биография участника AE - Ким Гулдстранд Ларсен , 5 октября 2012 г., заархивировано из оригинала 7 июля 2022 г. , получено 17 августа 2023 г.
^ Международная конференция по компьютерной проверке , заархивировано из оригинала 21 июня 2023 г. , получено 17 августа 2023 г.
^ Лауреаты премии Grundfos Prize , заархивировано из оригинала 30 марта 2023 г. , получено 17 августа 2023 г.
^ Профессор AAU будет консультировать премьер-министра Китая по вопросам цифровизации (Профессор AAU будет консультировать премьер-министра Китая по вопросам цифровизации) (на датском языке), 21 января 2019 г., заархивировано из оригинала 17 августа 2023 г. , получено 17 августа 2023 г.
^ The Villum Investigators 2021 подпитываются любопытством , 13 апреля 2021 г., заархивировано из оригинала 20 августа 2023 г. , получено 24 сентября 2023 г.
^ Награда «Испытание временем» , заархивировано из оригинала 29 апреля 2023 г. , получено 2 сентября 2023 г.

Внешние ссылки

Профиль в Ольборгском университете
UPPAAL - интегрированная инструментальная среда для моделирования, проверки и верификации систем реального времени, смоделированных как сети синхронизированных автоматов.

[1] Оценка исследований Ольборгского университета в области компьютерных наук, 1991–1995 гг. (PDF) , 1996, стр. 59, заархивировано (PDF) из оригинала 11 августа 2023 г. , получено 1 декабря 2023 г.

[2] Ларсен, Ким Гулдстранд (1986). Контекстно-зависимое бисимуляция между процессами (PDF) (кандидатская диссертация). Эдинбургский университет.

[3] Институт электронных систем Ольборгского университета, кафедра математики и компьютерных наук, оценка исследований 1991–1995 (PDF) , 1 мая 1996 г., заархивировано из оригинала (PDF) 05 декабря 2022 г. , получено 9 августа 2023 г.

[4] Держатели стульев Inria International Chairs (PDF) , 11 ноября 2019 г., заархивировано из оригинала (PDF) 8 марта 2022 г. , получено 9 августа 2023 г.

[5] CISS Management , заархивировано из оригинала 4 июня 2023 г. , получено 10 августа 2023 г.

[6] Описание проекта DaNES , заархивировано из оригинала 21 мая 2022 г. , получено 10 августа 2023 г.

[7] Презентация докладчиков на летней школе ArtistDesign European Network of Excellence on Embedded Systems Design 2009 , заархивировано из оригинала 10 июня 2023 г. , получено 10 августа 2023 г.

[8] Познакомьтесь с исследователями IDEA4CPS . Архивировано из оригинала 28 мая 2023 г. , получено 10 августа 2023 г.

[9] «Что такое ИнфинИТ?» . 2021. Архивировано из оригинала 21 января 2022 г. Проверено 11 августа 2023 г.

[10] DiCyPS на английском языке , заархивировано из оригинала 2 июня 2023 г. , получено 11 августа 2023 г.

[11] Команда LASSO , заархивировано из оригинала 2 июня 2023 г. , получено 11 августа 2023 г.

[ERC-12] Перейти обратно: ^а ^б Информационный бюллетень CORDIS по обучению, анализу, синтезу и оптимизации киберфизических систем, идентификатор грантового соглашения: 669844 , 04 мая 2023 г., заархивировано из оригинала 27 марта 2023 г. , получено 11 августа 2023 г.

[13] «Команда УППААЛ» . Архивировано из оригинала 3 августа 2023 г. Проверено 11 августа 2023 г.

[14] Наим, А.; Азам, Ф.; Амджад, А.; Анвар, М.В. (2018). «Сравнение инструментов проверки моделей с использованием временных автоматов - PRISM и UPPAAL». Международная конференция IEEE по компьютерным и коммуникационным технологиям (CCET) 2018 . стр. 248–253. дои : 10.1109/CCET.2018.8542231 . ISBN 978-1-5386-7437-6 . S2CID 53753025 .

[nutshell-15] Перейти обратно: ^а ^б Ларсен, Ким Г.; Петтерссон, Пол; Йи, Ван (1997). «УППААЛ в двух словах» . Международный журнал по программным инструментам для трансфера технологий . 1 (1–2): 134–152. дои : 10.1007/s100090050010 . ISSN 1433-2779 .

[16] Ларсен, Ким Г.; Петтерссон, Пол; Йи, Ван (декабрь 1997 г.), «Подробности цитирования SpringerNature для« UUPAAL в двух словах » » , Международный журнал по программным инструментам для передачи технологий , 1 (1–2): 134–152, doi : 10.1007/s100090050010 , S2CID 648658 , получено 14 августа 2023 г.

[17] Члены Датской королевской академии наук и литературы , архивировано из оригинала 9 августа 2020 г. , получено 22 сентября 2023 г.

[18] Digitale Vismandsråd от ATV (на датском языке), заархивировано из оригинала 14 августа 2023 г.

[19] Информатика, Ольборгский университет, оценка исследований 2011–2015 гг . (PDF) , заархивировано из оригинала (PDF) 16 августа 2023 г. , получено 16 августа 2023 г.

[20] Члены справочной группы по цифровой сфере, промышленности и космосу (на датском языке), заархивировано из оригинала 6 февраля 2023 г. , получено 16 августа 2023 г.

[21] Почетные доктора факультета науки и технологий Упсальского университета , 8 июня 2023 г., заархивировано из оригинала 16 августа 2023 г. , получено 16 августа 2023 г.

[22] Docteur Honoris Causa (на французском языке), заархивировано из оригинала 16 мая 2022 г. , получено 17 августа 2023 г.

[23] Оценка исследований 2001–2005 гг., Ольборгский университет, факультет компьютерных наук (PDF) , 01 марта 2006 г., заархивировано из оригинала (PDF) 11 августа 2023 г. , получено 16 августа 2023 г.

[24] Справочник кавалеров Ордена Даннеброга (на датском языке) , получено 16 августа 2023 г.

[25] Биография участника AE - Ким Гулдстранд Ларсен , 5 октября 2012 г., заархивировано из оригинала 7 июля 2022 г. , получено 17 августа 2023 г.

[26] Международная конференция по компьютерной проверке , заархивировано из оригинала 21 июня 2023 г. , получено 17 августа 2023 г.

[27] Лауреаты премии Grundfos Prize , заархивировано из оригинала 30 марта 2023 г. , получено 17 августа 2023 г.

[28] Профессор AAU будет консультировать премьер-министра Китая по вопросам цифровизации (Профессор AAU будет консультировать премьер-министра Китая по вопросам цифровизации) (на датском языке), 21 января 2019 г., заархивировано из оригинала 17 августа 2023 г. , получено 17 августа 2023 г.

[29] The Villum Investigators 2021 подпитываются любопытством , 13 апреля 2021 г., заархивировано из оригинала 20 августа 2023 г. , получено 24 сентября 2023 г.

[30] Награда «Испытание временем» , заархивировано из оригинала 29 апреля 2023 г. , получено 2 сентября 2023 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ
Национальный	Германия Израиль Соединенные Штаты Чешская Республика
академики	Ассоциация вычислительной техники ДБЛП Google Академика MathSciNet Проект математической генеалогии Скопус zbMATH
Другой	ИдРеф