Martín Wirsing

informático alemán

Martin Wirsing (nacido el 24 de diciembre de 1948 en Bayreuth ) es un informático alemán y profesor en la Ludwig-Maximilians-Universität München , Alemania.

Biografía

Wirsing estudió Matemáticas en la Ludwig-Maximilians-Universität München (LMU) y en la Université Paris 7 , obteniendo el Diplom in Mathematics de la LMU y la Mâitrise-ès-Sciences Mathématiques en la Université Paris 7 . ^[1] Supervisado por Kurt Schütte , recibió su doctorado en la LMU en 1976, con una tesis sobre un tema de lógica matemática (Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen). ^[2] En 1975-1983 fue asistente de investigación en la cátedra de FL Bauer en la Universidad Técnica de Munich, donde en 1984 completó su Habilitación en Informática; en 1985 Wirsing se convirtió en profesor titular y catedrático de Informática en la Universidad de Passau y en 1992 regresó a la LMU como catedrático de Programación e Ingeniería de Software. ^{[3] [4]} Varios años se desempeñó como Decano, Jefe de Departamento y Vicepresidente del Senat de LMU. Desde 2010 es Vicepresidente de Docencia y Estudios de LMU. ^{[5] En julio de 2016,} Royal Holloway , Universidad de Londres, le otorgó el título de Doctor en Ciencias (Honoris Causa) . ^{[6] [7]}

Sus intereses de investigación comprenden la ingeniería de software y sus fundamentos formales, los sistemas autónomos y autoconscientes y la digitalización de las universidades. En 2006-2015 coordinó los proyectos europeos IP SENSORIA ^[8] (2006-2010) sobre ingeniería de software para sistemas orientados a servicios y ASCENS ^[9] (2010-2015) sobre ingeniería de sistemas autónomos colectivos. En 2007-2010, Martin Wirsing fue presidente del Consejo Científico de INRIA y en 2014-2017 miembro del comité científico del Institut Mines-Télécom . ^[10] Actualmente, es miembro del patronato del Instituto Max Planck de Psiquiatría ^[11] y de los comités científicos de la Universidad de Burdeos ^[12] y del Instituto IMDEA Software . ^[13] Es miembro del consejo editorial de varias revistas científicas y series de libros, incluidas Theoretical Computer Science (revista) , International Journal of Software and Informatics y Electronic Proceedings in Theoretical Computer Science .

Artículos y libros seleccionados.

• Wirsing, Martín (1978). "Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen" [Pequeñas clases indecidibles de lógica de predicados con símbolos de identidad y función]. Archiv für Mathematische Logik und Grundlagenforschung (en alemán). 19 (1): 97-109. doi :10.1007/BF02011871. S2CID  46605535.
• Broy, Manfredo ; Wirsing, Martín (1982). "Tipos de resúmenes parciales". Acta Informática . 18 (1): 47–64. doi :10.1007/BF00625280. S2CID  11391201.
• Wirsing, Martín (1986). "Especificaciones algebraicas estructuradas: un lenguaje Kernel". Informática Teórica . 42 : 123–249. doi : 10.1016/0304-3975(86)90051-4 .
• Martin Wirsing: especificación algebraica. En: J. van Leeuwen (ed.): Manual de informática teórica, Ámsterdam, Holanda Septentrional, 1990, págs. 675–788 ( ISBN 978-0444880741 ) 
• Bauer, Friedrich Ludwig ; Wirsing, Martin (marzo de 1991). Elementare Aussagenlogik (en alemán). Berlín/Heidelberg: Springer-Verlag . ISBN 3-540-52974-8.
• Pietro Cenciarelli, Alexander Knapp, Bernhard Reus y Martin Wirsing. Una semántica operativa estructural basada en eventos de Java multiproceso. En: Jim Alves-Foss (ed.): Sintaxis formal y semántica de Java, Lect. Notas Comp. Ciencia. 1523, Berlín: Springer, 1999, págs. 157-200 ( ISBN 978-3-540-48737-1 ) 
• Iman Poernomo, John Crossley , Martin Wirsing: Adaptación de pruebas como programas: el protocolo Curry-Howard. Monografías de Springer en Ciencias de la Computación, 2005, 420 páginas ( ISBN 978-0-387-23759-6 ) 
• Martin Wirsing, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer (Eds.): Sistemas intensivos en software y nuevos paradigmas informáticos. Apuntes de conferencias sobre informática 5380, Springer-Verlag, 2008, 265 páginas ( ISBN 978-3-540-89436-0 ) 
• Martin Wirsing, Matthias Hölzl (Eds.): Ingeniería de software rigurosa para sistemas orientados a servicios: resultados del proyecto SENSORIA sobre ingeniería de software para informática orientada a servicios. Apuntes de conferencias sobre informática 6582, Springer 2011, 737 páginas ( ISBN 978-3-642-20400-5 ) 
• Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing: Disponibilidad estable bajo ataques de denegación de servicio a través de patrones formales. En: Juan de Lara, Andrea Zisman (Eds.): Enfoques fundamentales de la ingeniería de software - 15ª Conferencia Internacional, FASE 2012. Lecture Notes in Computer Science 7212, Springer 2012, págs. 78–93 ( ISBN 978-3-642-28871 -5 ) 
• Martin Wirsing, Matthias Hölzl, Nora Koch y Philip Mayer (eds.). Ingeniería de software para sistemas autónomos colectivos: resultados del proyecto ASCENS, vol. 8998 LNCS, Springer, 2015, 533 páginas ( ISBN 978-3-319-16309-3 ) 
• Lenz Belzner, Rolf Hennicker, Martin Wirsing: OnPlan: un marco para la planificación en línea basada en simulación. Christiano Braga, Peter Csaba Ölveczky: Aspectos formales del software de componentes - 12.ª Conferencia Internacional, FACS 2015, Niterói, Brasil, 14 al 16 de octubre de 2015, artículos seleccionados revisados. Apuntes de conferencias sobre informática 9539, Springer 2016, págs. 1 a 30 ( ISBN 978-3-319-28933-5 ) 

enlaces externos

• Página de inicio ^[14]
• Página de inicio en LMU ^[15]
• Rocco De Nicola, Rolf Hennicker (eds.): Software, servicios y sistemas: ensayos dedicados a Martin Wirsing con motivo de su jubilación de la cátedra de programación e ingeniería de software. Apuntes de conferencias sobre informática 8950, Springer 2015, ISBN 978-3-319-15544-9 
• Publicaciones de Martin Wirsing ^[16] indexadas por el servidor de bibliografía DBLP de la Universidad de Trier

Referencias

1. De Nicola, Rocco; Hennicker, Rolf (2015). "Un homenaje a Martin Wirsing". En De Nicola, Rocco; Hennicker, Rolf (eds.). Software, servicios y sistemas . Serie de notas de conferencias sobre informática. vol. 8950. Publicación internacional Springer. págs. 1–12. ISBN 978-3-319-15545-6.
2. Martin Wirsing en el Proyecto de Genealogía de Matemáticas .
3. De Nicola, Rocco; Hennicker, Rolf (2015). "Un homenaje a Martin Wirsing". En De Nicola, Rocco; Hennicker, Rolf (eds.). Software, servicios y sistemas . Serie de notas de conferencias sobre informática. vol. 8950. Publicación internacional Springer. págs. 1–12. ISBN 978-3-319-15545-6.
4. Hölzl, Matías M.; Koch, Nora; Mayer, Felipe; Schroeder, Andreas; Belzner, Lenz; Busch, Marianne; Fasching, Anton; Klarl, Annabelle; Kroiss, cristiano; Raed, Laith (2015). "Oda al PST". En De Nicola, Rocco; Hennicker, Rolf (eds.). Software, servicios y sistemas . Serie de notas de conferencias sobre informática. vol. 8950. Publicación internacional Springer. págs. 13-23. ISBN 978-3-319-15545-6.
5. "Tres nuevos vicepresidentes de LMU (alemán)". LMU Munich Aktuelles. 27 de julio de 2010 . Consultado el 7 de septiembre de 2018 .
6. "Títulos honoríficos otorgados en las ceremonias de graduación de verano". Noticias del Royal Holloway College. 2016-07-21. Archivado desde el original el 1 de agosto de 2016 . Consultado el 1 de agosto de 2016 .
7. "Doctorado honorario de Martin Wirsing". Noticias de la LMU de Múnich. 2016-07-21 . Consultado el 1 de agosto de 2016 .
8. Wirsing, Martín; Hölzl, Matthias M., eds. (2011). Ingeniería de Software Rigurosa para Sistemas Orientados a Servicios - Resultados del Proyecto SENSORIA de Ingeniería de Software para Computación Orientada a Servicios . Serie de notas de conferencias sobre informática. vol. 6582. Springer Ciencia + Medios comerciales . ISBN 978-3-642-20400-5.
9. Wirsing, Martín; Hölzl, Matías M.; Koch, Nora; Mayer, Philip, eds. (2015). Ingeniería de software para sistemas autónomos colectivos: el enfoque ASCENS . Serie de notas de conferencias sobre informática. vol. 8998. Springer Ciencia + Medios comerciales . ISBN 978-3-319-16309-3.
10. "Conseil Scientifique del Institut Mines-Télécom". Instituto Minas-Télécom . Archivado desde el original el 11 de septiembre de 2016 . Consultado el 2 de junio de 2017 .
11. "Instituto Max Planck de Psiquiatría - Patronato". Instituto Max Planck de Psiquiatría . Archivado desde el original el 11 de septiembre de 2016 . Consultado el 10 de septiembre de 2018 .
12. "Comité Stratégique de l'Initiative d'Excellence de l'Université de Bordeaux". Universidad de Burdeos . Consultado el 3 de diciembre de 2016 .
13. "Consejo Asesor Científico de IMDEA Software". Instituto IMDEA Software . Consultado el 16 de agosto de 2016 .
14. "Prof. Dr. Dr. Hc Martin Wirsing, LMU Munich".
15. "Estructura organizativa".
16. "DBLP: Martin Wirsing".