Мартин Вирсинг - Martin Wirsing

Мартин Вирсинг (родился 24 декабря 1948 г. в г. Байройт ) немец специалист в области информатики, и профессор Ludwig-Maximilians-Universität München, Германия.

биография

Вирсинг изучил Математика в Ludwig-Maximilians-Universität München (LMU) и в Université Paris 7, получив Диплом по математике из LMU и Mâitrise-ès-Sciences Mathématiques в Université Paris 7[1]. Под руководством Курт Шютте, он получил докторскую степень в LMU в 1976 году, защитив диссертацию на тему математической логики (Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen)[2]. В 1975-1983 гг. - научный сотрудник кафедры F.L. Бауэр в Технический университет Мюнхена где в 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. Дои:10.1007 / BF02011871.
  • Брой, Манфред; Вирсинг, Мартин (1982). «Частичные абстрактные типы». Acta Informatica. 18 (1): 47–64. Дои:10.1007 / BF00625280.
  • Вирсинг, Мартин (1986). «Структурированные алгебраические спецификации: язык ядра». Теоретическая информатика. 42: 123–249. Дои:10.1016/0304-3975(86)90051-4.
  • Мартин Вирсинг: Алгебраическая спецификация. В: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science, Amsterdam, North-Holland, 1990, pp. 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)
  • Иман Поэрномо, Джон Crossley, Мартин Вирсинг: адаптация «Доказательства как программы»: протокол Карри-Ховарда. Монографии 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 Сервер библиографии на Трирский университет

Рекомендации

  1. ^ Де Никола, Рокко; Хенникер, Рольф (2015). «Посвящение Мартину Вирсингу». В Де Никола, Рокко; Хенникер, Рольф (ред.). Программное обеспечение, услуги и системы. Конспект лекций в серии информатики. Том 8950. Издательство Springer International. С. 1–12. ISBN  978-3-319-15545-6.
  2. ^ Мартин Вирсинг на Проект "Математическая генеалогия".
  3. ^ Де Никола, Рокко; Хенникер, Рольф (2015). «Посвящение Мартину Вирсингу». В Де Никола, Рокко; Хенникер, Рольф (ред.). Программное обеспечение, услуги и системы. Конспект лекций в серии информатики. Том 8950. Издательство Springer International. С. 1–12. ISBN  978-3-319-15545-6.
  4. ^ Hölzl, Matthias M .; Кох, Нора; Майер, Филип; Шредер, Андреас; Белзнер, Ленц; Буш, Марианна; Фашинг, Антон; Кларл, Аннабель; Кройсс, Кристиан; Райд, Лейт (2015). «Ода PST». В Де Никола, Рокко; Хенникер, Рольф (ред.). Программное обеспечение, услуги и системы. Конспект лекций в серии информатики. Том 8950. Издательство Springer International. С. 13–23. ISBN  978-3-319-15545-6.
  5. ^ «Три новых вице-президента LMU (немецкий язык)». LMU Munich Aktuelles. 2010-07-27. Получено 2018-09-07.
  6. ^ «Почетные степени, присвоенные на летних выпускных вечерах». Новости Королевского Холлоуэйского колледжа. 2016-07-21. Архивировано из оригинал на 2016-08-01. Получено 2016-08-01.
  7. ^ "Почетный доктор Мартина Вирсинга". LMU Мюнхен Новости. 2016-07-21. Получено 2016-08-01.
  8. ^ Вирсинг, Мартин; Hölzl, Matthias M., eds. (2011). Строгая разработка программного обеспечения для сервис-ориентированных систем - результаты проекта SENSORIA по разработке программного обеспечения для сервис-ориентированных вычислений. Конспект лекций в серии информатики. Том 6582. Springer Science + Business Media. ISBN  978-3-642-20400-5.
  9. ^ Вирсинг, Мартин; Hölzl, Matthias M .; Кох, Нора; Майер, Филип, ред. (2015). Программная инженерия для коллективных автономных систем - подход ASCENS. Конспект лекций в серии информатики. Том 8998. Springer Science + Business Media. ISBN  978-3-319-16309-3.
  10. ^ "Conseil Scientifique de l'Institut Mines-Télécom". Institut Mines-Télécom. Архивировано из оригинал на 2016-09-11. Получено 2017-06-02.
  11. ^ "Институт психиатрии Макса Планка - Попечительский совет". Институт психиатрии Макса Планка. В архиве из оригинала на 2016-09-11. Получено 2018-09-10.
  12. ^ "Comité Stratégique de l'Initiative d'Excellence de l'Université de Bordeaux". Университет Бордо. Получено 2016-12-03.
  13. ^ «Научно-консультативный совет IMDEA Software». Институт программного обеспечения IMDEA. Получено 2016-08-16.
  14. ^ http://www.pst.ifi.lmu.de/People/staff/wirsing.html
  15. ^ http://www.en.uni-muenchen.de/about_lmu/introduction-lmu/organization/vice_presidents/vice_studium1/index.html
  16. ^ http://dblp.uni-trier.de/pers/hd/w/Wirsing:Martin