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

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

Биография

Вирсинг изучал математику в Мюнхенском университете Людвига-Максимилиана (LMU) и в Парижском университете 7 , получив диплом по математике в LMU и степень магистра математических наук в Парижском университете 7 . ^[1] Под руководством Курта Шютте он получил докторскую степень в LMU в 1976 году, защитив диссертацию по теме математической логики (проблема решения логики предикатов с тождественными и функциональными символами). ^[2] В 1975-1983 годах он работал научным сотрудником на кафедре Ф.Л. Бауэра в Мюнхенском техническом университете , где в 1984 году получил степень доктора информатики; в 1985 году Вирсинг стал профессором и заведующим кафедрой информатики в Университете Пассау , а в 1992 году вернулся в LMU в качестве кафедры программирования и разработки программного обеспечения. ^[3]^[4] Несколько лет он занимал должности декана, заведующего кафедрой и вице-президента Сената ЛМУ. С 2010 года он является вице-президентом по преподаванию и исследованиям ЛМУ. ^[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). «Малые неразрешимые классы логики предикатов с тождественными и функциональными символами». Архив математической логики и фундаментальных исследований (на немецком языке). 19 (1): 97–109. дои : 10.1007/BF02011871 . S2CID 46605535 .
Брой, Манфред ; Вирсинг, Мартин (1982). «Частичные абстрактные типы». Акта Информатика . 18 (1): 47–64. дои : 10.1007/BF00625280 . S2CID 11391201 .
Вирсинг, Мартин (1986). «Структурированные алгебраические спецификации: язык ядра» . Теоретическая информатика . 42 : 123–249. дои : 10.1016/0304-3975(86)90051-4 .
Мартин Вирсинг: Алгебраическая спецификация. В: Дж. ван Леувен (редактор): Справочник по теоретической информатике, Амстердам, Северная Голландия, 1990, стр. 675–788 ( ISBN 978-0444880741 )
Бауэр, Фридрих Людвиг ; Вирсинг, Мартин (март 1991 г.). Элементарная пропозициональная логика (на немецком языке). Берлин / Гейдельберг: Springer Verlag . ISBN 3-540-52974-8 .
Пьетро Ченчарелли, Александр Кнапп, Бернхард Ройс и Мартин Вирсинг. Событийная структурная операционная семантика многопоточной Java. В: Джим Алвес-Фосс (ред.): Формальный синтаксис и семантика Java, Lect. Примечания Комп. наук. 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. стр. 1–12. ISBN 978-3-319-15545-6 .
^ Мартин Вирсинг в проекте «Математическая генеалогия» .
^ Никола, Рокко; Хенникер, Рольф (2015). «Посвящение Мартину Вирсингу». В Де Никола, Рокко; Хенникер, Рольф (ред.). Программное обеспечение, услуги и системы . Конспекты лекций из серии «Информатика». Том. 8950. Международное издательство Springer. стр. 1–12. ISBN 978-3-319-15545-6 .
^ Хёльцль, Маттиас М.; Кох, Нора; Майер, Филип; Шредер, Андреас; Бельзнер, Ленц; Буш, Марианна; Фашинг, Антон; Кларл, Аннабель; Кройсс, Кристиан; Раед, Лэйт (2015). «Ода ПСТ». В Де Никола, Рокко; Хенникер, Рольф (ред.). Программное обеспечение, услуги и системы . Конспекты лекций из серии «Информатика». Том 8950. Международное издательство Springer. стр. 13–23. ISBN 978-3-319-15545-6 .
^ «Три новых вице-президента в LMU (немецкий)» . LMU Мюнхен Актуэльлес. 27 июля 2010 г. Проверено 7 сентября 2018 г.
^ «Почетные степени, врученные на летних выпускных церемониях» . Новости колледжа Ройал Холлоуэй. 21 июля 2016 г. Архивировано из оригинала 1 августа 2016 г. Проверено 1 августа 2016 г.
^ «Почетная докторская степень Мартина Вирсинга» . Новости LMU Мюнхен. 21 июля 2016 г. Проверено 1 августа 2016 г.
^ Вирсинг, Мартин; Хёльцль, Матиас М., ред. (2011). Строгая разработка программного обеспечения для сервис-ориентированных систем — результаты проекта SENSORIA по разработке программного обеспечения для сервис-ориентированных вычислений . Конспекты лекций из серии «Информатика». Том. 6582. Springer Science+Business Media . ISBN 978-3-642-20400-5 .
^ Вирсинг, Мартин; Хёльцль, Маттиас М.; Кох, Нора; Майер, Филип, ред. (2015). Разработка программного обеспечения для коллективных автономных систем — подход ASCENS . Конспекты лекций из серии «Информатика». Том. 8998. Springer Science+Business Media . ISBN 978-3-319-16309-3 .
^ «Ученый совет Института горно-телеком» . Горно-телекоммуникационный институт . Архивировано из оригинала 11 сентября 2016 г. Проверено 2 июня 2017 г.
^ «Институт психиатрии Макса Планка – Попечительский совет» . Институт психиатрии Макса Планка . Архивировано из оригинала 11 сентября 2016 г. Проверено 10 сентября 2018 г.
^ «Стратегический комитет Инициативы передового опыта Университета Бордо» . Университет Бордо . Проверено 3 декабря 2016 г.
^ «Научно-консультативный совет IMDEA Software» . Институт программного обеспечения IMDEA . Проверено 16 августа 2016 г.
^ «Проф. доктор Мартин Вирсинг, LMU Мюнхен» .
^ «Организационная структура» .
^ «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 Мюнхен Актуэльлес. 27 июля 2010 г. Проверено 7 сентября 2018 г.

[6] «Почетные степени, врученные на летних выпускных церемониях» . Новости колледжа Ройал Холлоуэй. 21 июля 2016 г. Архивировано из оригинала 1 августа 2016 г. Проверено 1 августа 2016 г.

[7] «Почетная докторская степень Мартина Вирсинга» . Новости LMU Мюнхен. 21 июля 2016 г. Проверено 1 августа 2016 г.

[8] Вирсинг, Мартин; Хёльцль, Матиас М., ред. (2011). Строгая разработка программного обеспечения для сервис-ориентированных систем — результаты проекта SENSORIA по разработке программного обеспечения для сервис-ориентированных вычислений . Конспекты лекций из серии «Информатика». Том. 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] «Институт психиатрии Макса Планка – Попечительский совет» . Институт психиатрии Макса Планка . Архивировано из оригинала 11 сентября 2016 г. Проверено 10 сентября 2018 г.

[12] «Стратегический комитет Инициативы передового опыта Университета Бордо» . Университет Бордо . Проверено 3 декабря 2016 г.

[13] «Научно-консультативный совет IMDEA Software» . Институт программного обеспечения IMDEA . Проверено 16 августа 2016 г.

[14] «Проф. доктор Мартин Вирсинг, LMU Мюнхен» .

[15] «Организационная структура» .

[16] «DBLP: Мартин Вирсинг» .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

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