Científico 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 presidente de Informática en la Universidad de Passau y en 1992 regresó a LMU como presidente de Programación e Ingeniería de Software. [3] [4] Durante varios años se desempeñó como Decano, Jefe de Departamento y Vicepresidente. del Senado de la LMU. Desde 2010 es Vicepresidente de Enseñanza y Estudios de la LMU. [5] En julio de 2016, recibió el título de Doctor en Ciencias (honoris causa) por la Royal Holloway , Universidad de Londres. [6] [7]
Sus intereses de investigación abarcan la ingeniería de software y sus fundamentos formales, los sistemas autónomos autoconscientes y la digitalización de las universidades. Entre 2006 y 2015 coordinó los proyectos IP europeos 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. Entre 2007 y 2010, Martin Wirsing fue presidente del Consejo Científico del INRIA y entre 2014 y 2017 miembro del comité científico del Institut Mines-Télécom . [10] Actualmente, es miembro del consejo de administración 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, entre ellas 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, Martin (1986). "Especificaciones algebraicas estructuradas: un lenguaje de núcleo". Ciencias de la computación 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 operacional estructural basada en eventos de Java multiproceso. En: Jim Alves-Foss (ed.): Sintaxis formal y semántica de Java, Lect. Notes Comp. Sci. 1523, Berlín: Springer, 1999, pp. 157–200 ( ISBN 978-3-540-48737-1 )
- Iman Poernomo, John Crossley , Martin Wirsing: Adaptación de pruebas como programas: el protocolo Curry-Howard. Springer Monographs in Computer Science, 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 computación orientada a servicios. Lecture Notes in Computer Science 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 ante ataques de denegación de servicio mediante patrones formales. En: Juan de Lara, Andrea Zisman (Eds.): Enfoques fundamentales para la ingeniería de software - 15.ª conferencia internacional, FASE 2012. Lecture Notes in Computer Science 7212, Springer 2012, pp. 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: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brasil, 14-16 de octubre de 2015, Documentos revisados seleccionados. Lecture Notes in Computer Science 9539, Springer 2016, págs. 1-30 ( ISBN 978-3-319-28933-5 )
Enlaces externos
- Página de inicio [14]
- Página de inicio de la LMU [15]
- Rocco De Nicola, Rolf Hennicker (eds.): Software, servicios y sistemas: ensayos dedicados a Martin Wirsing con motivo de su retiro de la cátedra de programación e ingeniería de software. Lecture Notes in Computer Science 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
- ^ 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.
- ^ Martin Wirsing en el Proyecto de Genealogía Matemática .
- ^ 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.
- ^ 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.
- ^ "Tres nuevos vicepresidentes en la LMU (alemán)". LMU Munich Aktuelles. 2010-07-27 . Consultado el 2018-09-07 .
- ^ "Títulos honorarios otorgados en las ceremonias de graduación de verano". Royal Holloway College News. 2016-07-21. Archivado desde el original el 2016-08-01 . Consultado el 2016-08-01 .
- ^ "Doctorado honorario para Martin Wirsing". LMU Munich News. 2016-07-21 . Consultado el 2016-08-01 .
- ^ Wirsing, Martin; Hölzl, Matthias M., eds. (2011). Ingeniería de software rigurosa para sistemas orientados a servicios: resultados del proyecto SENSORIA sobre ingeniería de software para computación orientada a servicios . Serie Lecture Notes in Computer Science. Vol. 6582. Springer Science+Business Media . ISBN. 978-3-642-20400-5.
- ^ Wirsing, Martin; Hölzl, Matthias M.; Koch, Nora; Mayer, Philip, eds. (2015). Ingeniería de software para sistemas autónomos colectivos: el enfoque ASCENS . Serie de notas de clase en ciencias de la computación. Vol. 8998. Springer Science+Business Media . ISBN 978-3-319-16309-3.
- ^ "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 .
- ^ "Instituto Max Planck de Psiquiatría - Junta Directiva". Instituto Max Planck de Psiquiatría . Archivado desde el original el 2016-09-11 . Consultado el 2018-09-10 .
- ^ "Comité Estratégico de la Iniciativa de Excelencia de la Universidad de Burdeos". Universidad de Burdeos . Consultado el 3 de diciembre de 2016 .
- ^ "Consejo Científico Asesor de IMDEA Software". Instituto IMDEA Software . Consultado el 16 de agosto de 2016 .
- ^ "Prof. Dr. Dr. Hc Martin Wirsing, LMU Munich".
- ^ "Estructura organizativa".
- ^ "DBLP: Martin Wirsing".