Мартин Вирсинг

Немецкий учёный-компьютерщик

Мартин Вирсинг (родился 24 декабря 1948 года в Байройте ) — немецкий ученый-компьютерщик и профессор Мюнхенского университета Людвига-Максимилиана , Германия.

Биография

Вирсинг изучал математику в Мюнхенском университете Людвига-Максимилиана (LMU) и в Парижском университете 7 , получив диплом по математике в LMU и степень магистра математических наук в Парижском университете 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] Он является членом редколлегии нескольких научных журналов и книжных серий, включая Theoretical Computer Science (журнал) , International Journal of Software and Informatics и Electronic Proceedings in Theoretical Computer Science .

Избранные статьи и книги

• Вирсинг, Мартин (1978). «Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen» [Малые неразрешимые классы логики предикатов с тождественными и функциональными символами]. Archiv für Mathematische Logik und Grundlagenforschung (на немецком языке). 19 (1): 97–109. дои : 10.1007/BF02011871. S2CID  46605535.
• Брой, Манфред ; Вирсинг, Мартин (1982). «Частичные абстрактные типы». Акта Информатика . 18 (1): 47–64. дои : 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.
• Pietro Cenciarelli, Alexander Knapp, Bernhard Reus и Martin Wirsing. Событийно-ориентированная структурная операционная семантика многопоточной Java. В: Jim Alves-Foss (ред.): Formal Syntax and Semantics of Java, Lect. Notes Comp. Sci. 1523, Berlin: Springer, 1999, стр. 157–200 ( ISBN 978-3-540-48737-1 ) 
• Иман Поэрномо, Джон Кроссли , Мартин Вирсинг: Адаптация доказательств как программ: протокол Карри—Ховарда. Springer Monographs in Computer Science, 2005, 420 страниц ( ISBN 978-0-387-23759-6 ) 
• Мартин Вирсинг, Жан-Пьер Банатр, Маттиас Хёльцль, Аксель Раушмайер (ред.): Программно-интенсивные системы и новые вычислительные парадигмы. Конспекты лекций по информатике 5380, Springer-Verlag, 2008, 265 страниц ( ISBN 978-3-540-89436-0 ) 
• Мартин Вирсинг, Маттиас Хёльцль (ред.): Строгая программная инженерия для сервисно-ориентированных систем - Результаты проекта SENSORIA по программной инженерии для сервисно-ориентированных вычислений. Lecture Notes in Computer Science 6582, Springer 2011, 737 страниц ( ISBN 978-3-642-20400-5 ) 
• Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing: Stable Availability under Denial of Service Attacks through Formal Patterns. В: Juan de Lara, Andrea Zisman (Eds.): Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012. Lecture Notes in Computer Science 7212, Springer 2012, стр. 78–93 ( ISBN 978-3-642-28871-5 ) 
• Мартин Вирсинг, Маттиас Хёльцль, Нора Кох и Филип Майер (ред.). Программная инженерия для коллективных автономных систем: результаты проекта ASCENS, том 8998 LNCS, Springer, 2015, 533 страницы ( ISBN 978-3-319-16309-3 ) 
• Lenz Belzner, Rolf Hennicker, Martin Wirsing: OnPlan: A Framework for Simulation-Based Online Planning. Christiano Braga, Peter Csaba Ölveczky: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14–16, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9539, Springer 2016, pp. 1–30 ( ISBN 978-3-319-28933-5 ) 

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

• Домашняя страница ^[14]
• Домашняя страница LMU ^[15]
• Рокко Де Никола, Рольф Хенникер (ред.): Программное обеспечение, услуги и системы — эссе, посвященные Мартину Вирсингу по случаю его ухода на пенсию с кафедры программирования и программной инженерии. Конспект лекций по информатике 8950, Springer 2015, ISBN 978-3-319-15544-9 
• Публикации Мартина Вирсинга ^[16], проиндексированные сервером библиографии DBLP в Трирском университете

Ссылки

1. Де Никола, Рокко; Хенникер, Рольф (2015). «Посвящение Мартину Вирсингу». В Де Никола, Рокко; Хенникер, Рольф (ред.). Программное обеспечение, услуги и системы . Конспекты лекций из серии «Информатика». Том. 8950. Международное издательство Springer. стр. 1–12. ISBN 978-3-319-15545-6.
2. Мартин Вирсинг в проекте «Генеалогия математики» .
3. Де Никола, Рокко; Хенникер, Рольф (2015). «Посвящение Мартину Вирсингу». В Де Никола, Рокко; Хенникер, Рольф (ред.). Программное обеспечение, услуги и системы . Конспекты лекций из серии «Информатика». Том. 8950. Международное издательство Springer. стр. 1–12. ISBN 978-3-319-15545-6.
4. Хёльцль, Матиас М.; Кох, Нора; Майер, Филип; Шредер, Андреас; Бельзнер, Ленц; Буш, Марианна; Фашинг, Антон; Кларл, Аннабель; Кройсс, Кристиан; Раед, Лэйт (2015). «Ода ПСТ». В Де Никола, Рокко; Хенникер, Рольф (ред.). Программное обеспечение, услуги и системы . Конспекты лекций из серии «Информатика». Том. 8950. Международное издательство Springer. стр. 13–23. ISBN 978-3-319-15545-6.
5. "Три новых вице-президента в LMU (немецкий)". LMU Munich Aktuelles. 2010-07-27 . Получено 2018-09-07 .
6. "Почетные степени, присужденные на летних выпускных церемониях". Новости колледжа Royal Holloway. 2016-07-21. Архивировано из оригинала 2016-08-01 . Получено 2016-08-01 .
7. "Почетная докторская степень Мартину Вирсингу". Новости LMU Munich. 2016-07-21 . Получено 2016-08-01 .
8. Wirsing, Martin; Hölzl, Matthias M., ред. (2011). Строгая программная инженерия для сервисно-ориентированных систем - Результаты проекта SENSORIA по программной инженерии для сервисно-ориентированных вычислений . Lecture Notes in Computer Science Series. Том 6582. Springer Science+Business Media . ISBN 978-3-642-20400-5.
9. Вирсинг, Мартин; Хельцль, Маттиас М.; Кох, Нора; Майер, Филипп, ред. (2015). Программная инженерия для коллективных автономных систем — подход ASCENS . Конспект лекций по компьютерным наукам. Том 8998. Springer Science+Business Media . ISBN 978-3-319-16309-3.
10. "Научный совет Института горнодобывающей промышленности и телекоммуникаций" . Институт горно-телеком . Архивировано из оригинала 11 сентября 2016 г. Проверено 2 июня 2017 г.
11. "Институт психиатрии Макса Планка - Совет попечителей". Институт психиатрии Макса Планка . Архивировано из оригинала 2016-09-11 . Получено 2018-09-10 .
12. "Стратегический комитет инициативы передового опыта Университета Бордо" . Университет Бордо . Проверено 3 декабря 2016 г.
13. "Научно-консультативный совет IMDEA Software". Институт программного обеспечения IMDEA . Получено 16 августа 2016 г.
14. "Профессор, доктор Мартин Вирсинг, LMU Мюнхен" .
15. «Организационная структура».
16. «DBLP: Мартин Вирсинг».