Мартин Вирсинг (родился 24 декабря 1948 года в Байройте ) - немецкий ученый-компьютерщик , профессор Мюнхенского университета Людвига-Максимилиана .
биография
Вирсинг изучал математику в Мюнхенском университете Людвига-Максимилиана (LMU) и в Университете Парижа 7 , получив диплом по математике в LMU и Mâitrise-ès-Sciences Mathématiques в Университете Парижа 7 . [1] Под руководством Курта Шютте он получил докторскую степень в LMU в 1976 году, защитив диссертацию на тему математической логики (Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen). [2] В 1975–1983 годах он был научным сотрудником на кафедре Ф.Л. Бауэра в Техническом университете Мюнхена, где в 1984 году получил степень доктора информатики; В 1985 году Вирсинг стал профессором и заведующим кафедрой информатики в Университете Пассау, а в 1992 году вернулся в LMU в качестве кафедры программирования и разработки программного обеспечения. [3] [4] Несколько лет он занимал пост декана, главы департамента и вице-президента Сената LMU. С 2010 года он является вице-президентом по обучению и обучению в LMU. [5] В июле 2016 года он был удостоен степени доктора наук (Honoris Causa) Королевским Холлоуэем Лондонского университета. [6] [7]
Его исследовательские интересы включают программную инженерию и ее формальные основы, автономные самосознательные системы и оцифровку университетов. В 2006-2015 годах он координировал европейские IP-проекты SENSORIA [8] (2006-2010) по разработке программного обеспечения для сервис-ориентированных систем и ASCENS [9] (2010-2015) по разработке коллективных автономных систем. В 2007-2010 годах Мартин Вирсинг был председателем научного совета INRIA, а в 2014-2017 годах - членом научного комитета Institut Mines-Télécom . [10] В настоящее время он является членом попечительского совета Института психиатрии Макса Планка [11] и научных комитетов Университета Бордо [12] и Института программного обеспечения IMDEA . [13] Он является членом редколлегии нескольких научных журналов и книжных серий, в том числе « Теоретическая информатика» (журнал) , « Международный журнал программного обеспечения и информатики» и « Электронные материалы по теоретической информатике» .
Избранные статьи и книги
- Вирсинг, Мартин (1978). "Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen" [Небольшие неразрешимые классы логики предикатов с идентичными и функциональными символами]. Archiv für Mathematische Logik und Grundlagenforschung (на немецком языке). 19 (1): 97–109. DOI : 10.1007 / BF02011871 . S2CID 46605535 .
- Брой, Манфред ; Вирсинг, Мартин (1982). «Частичные абстрактные типы». Acta Informatica . 18 (1): 47–64. DOI : 10.1007 / BF00625280 . S2CID 11391201 .
- Вирсинг, Мартин (1986). «Структурированные алгебраические спецификации: язык ядра». Теоретическая информатика . 42 : 123–249. DOI : 10.1016 / 0304-3975 (86) 90051-4 .
- Мартин Вирсинг: алгебраическая спецификация. В: Дж. Ван Лиувен (ред.): Справочник по теоретической информатике, Амстердам, Северная Голландия, 1990, стр. 675–788 ( ISBN 978-0444880741 )
- Бауэр, Фридрих Людвиг ; Вирсинг, Мартин (март 1991). Elementare Aussagenlogik (на немецком языке). Берлин / Гейдельберг: Springer-Verlag . ISBN 3-540-52974-8.
- Пьетро Ченчарелли, Александр Кнапп, Бернхард Реус и Мартин Вирсинг. Структурная операционная семантика многопоточной Java на основе событий. В: Джим Алвес-Фосс (ред.): Формальный синтаксис и семантика Java, Lect. Примечания Комп. Sci. 1523, Берлин: Springer, 1999, стр. 157–200 ( ISBN 978-3-540-48737-1 )
- Иман Поэрномо, Джон Кроссли , Мартин Вирсинг: адаптация доказательств как программ: протокол Карри-Ховарда. Монографии Springer по информатике, 2005 г., 420 страниц ( ISBN 978-0-387-23759-6 )
- Мартин Вирсинг, Жан-Пьер Банатр, Маттиас Хёльцль, Аксель Раушмайер (ред.): Системы с интенсивным использованием программного обеспечения и новые вычислительные парадигмы. Конспект лекций по информатике 5380, Springer-Verlag, 2008, 265 страниц ( ISBN 978-3-540-89436-0 )
- Мартин Вирсинг, Маттиас Хёльцль (ред.): Строгая разработка программного обеспечения для сервис-ориентированных систем - результаты проекта SENSORIA по разработке программного обеспечения для сервис-ориентированных вычислений. Конспект лекций по информатике 6582, Springer 2011, 737 страниц ( ISBN 978-3-642-20400-5 )
- Йонас Экхардт, Тобиас Мюльбауэр, Мусаб АльТурки, Хосе Месегер, Мартин Вирсинг: стабильная доступность при атаках типа «отказ в обслуживании» с помощью формальных шаблонов. В: Хуан де Лара, Андреа Зисман (ред.): Фундаментальные подходы к разработке программного обеспечения - 15-я Международная конференция, FASE 2012. Конспект лекций по информатике 7212, Springer 2012, стр. 78–93 ( ISBN 978-3-642-28871-5 )
- Мартин Вирсинг, Маттиас Хёльцль, Нора Кох и Филип Майер (ред.). Программная инженерия для коллективных автономных систем: результаты проекта ASCENS, Vol. 8998 LNCS, Springer, 2015, 533 стр. ( ISBN 978-3-319-16309-3 )
- Ленц Белзнер, Рольф Хенникер, Мартин Вирсинг: OnPlan: основа для онлайн-планирования на основе моделирования. Кристиано Брага, Питер Чаба Олвецки: Формальные аспекты компонентного программного обеспечения - 12-я Международная конференция, FACS 2015, Нитерой, Бразилия, 14–16 октября 2015 г., Отредактированные избранные статьи. Конспект лекций по информатике 9539, Springer 2016, стр. 1–30 ( ISBN 978-3-319-28933-5 )
Внешние ссылки
- Домашняя страница [14]
- Домашняя страница в LMU [15]
- Рокко Де Никола, Рольф Хенникер (ред.): Программное обеспечение, услуги и системы - Очерки, посвященные Мартину Вирсингу по случаю его ухода с кафедры программирования и разработки программного обеспечения. Конспект лекций по информатике 8950, Springer 2015, ISBN 978-3-319-15544-9
- Публикации Мартина Вирсинга [16], проиндексированные сервером библиографии DBLP в Университете Трира
Рекомендации
- ^ Де Никола, Рокко; Хенникер, Рольф (2015). «Посвящение Мартину Вирсингу». В Де Никола, Рокко; Хенникер, Рольф (ред.). Программное обеспечение, услуги и системы . Конспект лекций в серии информатики. Том 8950. Издательство Springer International. С. 1–12. ISBN 978-3-319-15545-6.
|volume=
имеет дополнительный текст ( справка ) - ^ Мартин Вирсинг в проекте « Математическая генеалогия» .
- ^ Де Никола, Рокко; Хенникер, Рольф (2015). «Посвящение Мартину Вирсингу». В Де Никола, Рокко; Хенникер, Рольф (ред.). Программное обеспечение, услуги и системы . Конспект лекций в серии информатики. Том 8950. Издательство Springer International. С. 1–12. ISBN 978-3-319-15545-6.
|volume=
имеет дополнительный текст ( справка ) - ^ Hölzl, Matthias M .; Кох, Нора; Майер, Филип; Шредер, Андреас; Белзнер, Ленц; Буш, Марианна; Фашинг, Антон; Кларл, Аннабель; Кройсс, Кристиан; Райд, Лейт (2015). «Ода PST». В Де Никола, Рокко; Хенникер, Рольф (ред.). Программное обеспечение, услуги и системы . Конспект лекций в серии информатики. Том 8950. Издательство Springer International. С. 13–23. ISBN 978-3-319-15545-6.
|volume=
имеет дополнительный текст ( справка ) - ^ «Три новых вице-президента LMU (немецкий язык)» . LMU Munich Aktuelles. 2010-07-27 . Проверено 7 сентября 2018 .
- ^ «Почетные ученые степени, присвоенные на летних выпускных мероприятиях» . Новости Королевского Холлоуэйского колледжа. 2016-07-21. Архивировано из оригинала на 2016-08-01 . Проверено 1 августа 2016 .
- ^ «Почетный доктор Мартина Вирсинга» . LMU Мюнхен Новости. 2016-07-21 . Проверено 1 августа 2016 .
- ^ Вирсинг, Мартин; Hölzl, Matthias M., eds. (2011). Строгая разработка программного обеспечения для сервис-ориентированных систем - результаты проекта SENSORIA по разработке программного обеспечения для сервис-ориентированных вычислений . Конспект лекций в серии информатики. Том 6582. Springer Science + Business Media . ISBN 978-3-642-20400-5.
|volume=
имеет дополнительный текст ( справка ) - ^ Вирсинг, Мартин; Hölzl, Matthias M .; Кох, Нора; Майер, Филип, ред. (2015). Программная инженерия для коллективных автономных систем - подход ASCENS . Конспект лекций в серии информатики. Том 8998. Springer Science + Business Media . ISBN 978-3-319-16309-3.
|volume=
имеет дополнительный текст ( справка ) - ^ "Conseil Scientifique de l'Institut Mines-Télécom" . Institut Mines-Télécom . Архивировано из оригинала на 2016-09-11 . Проверено 2 июня 2017 .
- ^ "Институт психиатрии Макса Планка - Попечительский совет" . Институт психиатрии Макса Планка . Архивировано 11 сентября 2016 года . Проверено 10 сентября 2018 .
- ^ "Comité Stratégique de l'Initiative d'Excellence de l'Université de Bordeaux" . Университет Бордо . Проверено 3 декабря 2016 .
- ^ «Научно-консультативный совет IMDEA Software» . Институт программного обеспечения IMDEA . Проверено 16 августа 2016 .
- ^ http://www.pst.ifi.lmu.de/People/staff/wirsing.html
- ^ http://www.en.uni-muenchen.de/about_lmu/introduction-lmu/organization/vice_presidents/vice_studium1/index.html
- ^ http://dblp.uni-trier.de/pers/hd/w/Wirsing:Martin