WikiDer > Martin Virsing

Martin Wirsing

Martin Virsing (1948 yil 24-dekabrda tug'ilgan) Bayreut) nemis kompyutershunosva professor Lyudvig-Maksimilian-Universität Myunxen, Germaniya.

Biografiya

Wirsing o'rganildi Matematika da Lyudvig-Maksimilian-Universität Myunxen (LMU) va Université Parij 7, olish Diplom Matematika bo'yicha LMU va Maitrise-ès-Sciences matematiklari Université Parij 7[1]. Nazorat qiladi Kurt Shyutte, u 1976 yilda LMUda nomzodlik dissertatsiyasini matematik mantiq (Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen) mavzusida dissertatsiya bilan himoya qilgan.[2]. 1975-1983 yillarda kafedrada ilmiy yordamchi bo'lgan F.L. Bauer da Myunxen Texnik universiteti u erda 1984 yilda u o'z ishini yakunlagan Habilitatsiya informatika bo'yicha; 1985 yilda Virsing to'liq professor va informatika kafedrasiga aylandi Passau universiteti va 1992 yilda LMUga dasturlash va dasturiy ta'minot muhandisligi kafedrasiga qaytdi.[3][4] Bir necha yil u LMU dekani, kafedra mudiri va senatining vitse-prezidenti bo'lib ishlagan. 2010 yildan beri LMUning o'quv va o'quv ishlari bo'yicha vitse-prezidenti.[5]. 2016 yil iyul oyida unga fan doktori (Honoris Causa) ilmiy darajasi berilgan Royal Holloway, London universiteti.[6][7]

Uning ilmiy qiziqishlari quyidagilardan iborat dasturiy ta'minot va uning rasmiy asoslari, o'z-o'zini anglashning avtonom tizimlari va universitetlarni raqamlashtirish. 2006-2015 yillarda u Evropa IP-loyihalarini SENSORIA muvofiqlashtirgan[8] (2006-2010) xizmatga yo'naltirilgan tizimlar va ASCENS uchun dasturiy ta'minot muhandisligi bo'yicha[9] (2010-2015) muhandislik kollektiv avtonom tizimlari bo'yicha. 2007-2010 yillarda Martin Virsing Ilmiy kengash raisi bo'lgan INRIA va 2014-2017 yillarda ilmiy qo'mita a'zosi Mines-Télécom instituti[10]. Hozirda u vasiylik kengashining a'zosi Maks Plank nomidagi psixiatriya instituti[11] ilmiy qo'mitalari va Bordo universiteti[12] va IMDEA dasturiy ta'minot instituti[13]. U bir qator ilmiy jurnallar va kitoblar seriyasining tahrir kengashining a'zosi Nazariy kompyuter fanlari (jurnal), Dasturiy ta'minot va informatika xalqaro jurnaliva Nazariy kompyuter fanlari bo'yicha elektron ma'lumotlar.

Tanlangan hujjatlar va kitoblar

  • Wirsing, Martin (1978). "Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen" [Shaxsiyat va funktsiya belgilariga ega predikatlar mantig'ining kichik qaror qilinmaydigan sinflari]. Archiv für Mathematische Logik und Grundlagenforschung (nemis tilida). 19 (1): 97–109. doi:10.1007 / BF02011871.
  • Broy, Manfred; Wirsing, Martin (1982). "Qisman mavhum turlari". Acta Informatica. 18 (1): 47–64. doi:10.1007 / BF00625280.
  • Wirsing, Martin (1986). "Strukturaviy algebraik spetsifikatsiyalar: yadro tili". Nazariy kompyuter fanlari. 42: 123–249. doi:10.1016/0304-3975(86)90051-4.
  • Martin Wirsing: algebraik spetsifikatsiya. In: J. van Liuen (tahr.): Nazariy informatika qo'llanmasi, Amsterdam, Shimoliy Gollandiya, 1990, 675-788 betlar (ISBN 978-0444880741)
  • Bauer, Fridrix Lyudvig; Wirsing, Martin (1991 yil mart). Elementare Aussagenlogik (nemis tilida). Berlin / Heidelberg: Springer-Verlag. ISBN 3-540-52974-8.
  • Pietro Cenciarelli, Aleksandr Knapp, Bernxard Roys va Martin Virsing. Ko'p tishli Java-ning voqealarga asoslangan strukturaviy operatsion semantikasi. In: Jim Alves-Foss (tahr.): Rasmiy sintaksis va Java semantikasi, ma'ruza. Izohlar komp. Ilmiy ish. 1523, Berlin: Springer, 1999, 157–200 betlar (ISBN 978-3-540-48737-1)
  • Imon Poernomo, Jon Krossli, Martin Wirsing: Dasturiy dalillarni moslashtirish: Kori - Xovard protokoli. Kompyuter fanidagi Springer monografiyalari, 2005 yil, 420 bet (ISBN 978-0-387-23759-6)
  • Martin Virsing, Jan-Per Banatre, Matias Xoltsl, Aksel Raushmayer (nashr.): Dasturiy ta'minotni intensiv tizimlar va yangi hisoblash paradigmalari. Kompyuter fanidan ma'ruza matnlari 5380, Springer-Verlag, 2008, 265 bet (ISBN 978-3-540-89436-0)
  • Martin Virsing, Matias Xoltsl (nashr.): Xizmatga yo'naltirilgan tizimlar uchun qattiq dasturiy ta'minot muhandisligi - Xizmatga yo'naltirilgan hisoblash uchun dasturiy ta'minot muhandisligi bo'yicha SENSORIA loyihasi natijalari. Kompyuter fanidan ma'ruza yozuvlari 6582, Springer 2011, 737 bet (ISBN 978-3-642-20400-5)
  • Yonas Ekxardt, Tobias Muxlbauer, Musab AlTurki, Xose Meseguer, Martin Virsing: Rasmiy naqshlar orqali xizmat hujumlarini rad etish ostida barqaror mavjudlik. In: Juan de Lara, Andrea Zisman (Eds.): Dasturiy ta'minotning asosiy yondashuvlari - 15 Xalqaro konferentsiya, FASE 2012. Kompyuter fanlari bo'yicha ma'ruzalar 7212, Springer 2012, 78-93 betlar (ISBN 978-3-642-28871-5)
  • Martin Virsing, Matias Xoltsl, Nora Koch va Filipp Mayer (tahrir). Kollektiv avtonom tizimlar uchun dasturiy ta'minot muhandisligi: ASCENS loyihasi natijalari, jild. 8998 LNCS, Springer, 2015, 533 sahifalar (ISBN 978-3-319-16309-3)
  • Lenz Belzner, Rolf Xenniker, Martin Virsing: OnPlan: Simulyatsiyaga asoslangan onlayn rejalashtirish uchun asos. Christiano Braga, Peter Csaba Ölvecky: Komponent dasturiy ta'minotining rasmiy jihatlari - 12-Xalqaro konferentsiya, FACS 2015, Niteroy, Braziliya, 2015 yil 14-16 oktyabr, Qayta ko'rib chiqilgan tanlangan hujjatlar. Kompyuter fanidan ma'ruza matnlari 9539, Springer 2016, 1-30 betlar (ISBN 978-3-319-28933-5)

Tashqi havolalar

  • Bosh sahifa[14]
  • LMU-dagi bosh sahifa[15]
  • Rokko De Nikola, Rolf Xenniker (tahrir.): Dasturiy ta'minot, xizmatlar va tizimlar - Martin Virsinga dasturlash va dasturiy ta'minot muhandisligi kafedrasidan iste'foga chiqishga bag'ishlangan insholar. Kompyuter fanlari bo'yicha ma'ruzalar 8950, Springer 2015, ISBN 978-3-319-15544-9
  • Martin Virsingning nashrlari[16] tomonidan indekslangan DBLP Bibliografiya serveri Trier universiteti

Adabiyotlar

  1. ^ De Nikola, Rokko; Xenicker, Rolf (2015). "Martin Virsinga hurmat". De Nikola shahrida, Rokko; Xenicker, Rolf (tahr.). Dasturiy ta'minot, xizmatlar va tizimlar. Informatika seriyasidagi ma'ruza matnlari. Jild 8950. Springer xalqaro nashriyoti. 1-12 betlar. ISBN 978-3-319-15545-6.
  2. ^ Martin Virsing da Matematikaning nasabnomasi loyihasi.
  3. ^ De Nikola, Rokko; Henniker, Rolf (2015). "Martin Virsinga hurmat". De Nikola shahrida, Rokko; Xenicker, Rolf (tahr.). Dasturiy ta'minot, xizmatlar va tizimlar. Informatika seriyasidagi ma'ruza matnlari. Jild 8950. Springer xalqaro nashriyoti. 1-12 betlar. ISBN 978-3-319-15545-6.
  4. ^ Xoltsl, Matias M.; Koch, Nora; Mayer, Filipp; Shreder, Andreas; Belzner, Lenz; Bush, Marianne; Fasching, Anton; Klarl, Annabelle; Kroys, nasroniy; Raed, Laith (2015). "PSTga odob". De Nikola shahrida, Rokko; Xenicker, Rolf (tahr.). Dasturiy ta'minot, xizmatlar va tizimlar. Kompyuter fanlari seriyasidagi ma'ruza matnlari. Jild 8950. Springer xalqaro nashriyoti. 13-23 betlar. ISBN 978-3-319-15545-6.
  5. ^ "LMUda uchta yangi vitse-prezident (Germaniya)". LMU Myunxen Aktuelles. 2010-07-27. Olingan 2018-09-07.
  6. ^ "Yozgi bitiruv marosimlarida faxriy darajalar berildi". Royal Holloway kolleji yangiliklari. 2016-07-21. Arxivlandi asl nusxasi 2016-08-01 da. Olingan 2016-08-01.
  7. ^ "Martin Virsing uchun faxriy doktorlik". LMU Myunxen yangiliklari. 2016-07-21. Olingan 2016-08-01.
  8. ^ Wirsing, Martin; Xoltsl, Matias M., nashr. (2011). Xizmatga yo'naltirilgan tizimlar uchun qattiq dasturiy ta'minot muhandisligi - Xizmatga yo'naltirilgan hisoblash uchun dasturiy ta'minot muhandisligi bo'yicha SENSORIA loyihasi natijalari. Informatika seriyasidagi ma'ruza matnlari. Jild 6582. Springer Science + Business Media. ISBN 978-3-642-20400-5.
  9. ^ Wirsing, Martin; Xoltsl, Matias M.; Koch, Nora; Mayer, Filipp, nashr. (2015). Kollektiv avtonom tizimlar uchun dasturiy ta'minot muhandisligi - ASCENS yondashuvi. Informatika seriyasidagi ma'ruza matnlari. Jild 8998. Springer Science + Business Media. ISBN 978-3-319-16309-3.
  10. ^ "Conseil Scientifique de l'Institut Mines-Télécom". Mines-Télécom instituti. Arxivlandi asl nusxasi 2016-09-11. Olingan 2017-06-02.
  11. ^ "Maks Plank nomidagi psixiatriya instituti - Vasiylik kengashi". Maks Plank nomidagi psixiatriya instituti. Arxivlandi asl nusxasidan 2016-09-11. Olingan 2018-09-10.
  12. ^ "Bordo Universiteti Stratégique tashabbusi". Bordo universiteti. Olingan 2016-12-03.
  13. ^ "IMDEA dasturiy ta'minotining ilmiy maslahat kengashi". IMDEA dasturiy ta'minot instituti. Olingan 2016-08-16.
  14. ^ http://www.pst.ifi.lmu.de/People/staff/wirsing.html
  15. ^ http://www.en.uni-muenchen.de/about_lmu/introducing-lmu/organization/vice_presidents/vice_studium1/index.html
  16. ^ http://dblp.uni-trier.de/pers/hd/w/Wirsing: Martin