informático alemán
Manfred Broy (nacido el 10 de agosto de 1949) es un informático alemán y profesor emérito del Departamento de Informática de la Universidad Técnica de Munich , Garching , Alemania .
Biografía
Broy obtuvo su doctorado en Filosofía (Ph.D.) en 1980, bajo la cátedra de Friedrich L. Bauer, sobre el tema de la transformación de programas que se ejecutan en paralelo (Programa de transformación paralela ablaufender) .
En 1983 fundó la Facultad de Matemáticas e Informática de la Universidad de Passau , de la que fue decano hasta 1986. En 1989 ingresó en la Universidad Técnica de Munich (TUM), [1] donde en 1992 se convirtió en el decano fundador de la facultad de informática, que hasta entonces era un instituto dentro de la facultad de matemáticas e informática. Desde entonces enseña en la Universidad Técnica de Munich.
En 2004, fue elegido miembro de la Gesellschaft für Informatik [2] y en 2007 ganó la medalla Konrad Zuse . [3] También es editor de la Revista Internacional de Software e Informática . Broy ha sido director de la Escuela Internacional de Verano Marktoberdorf . [4]
Se jubiló el 31 de marzo de 2015.
Libros seleccionados
- Broy, Manfredo; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martín; Pretschner, Alejandro (2005). Pruebas basadas en modelos de sistemas reactivos: conferencias avanzadas . Apuntes de conferencias sobre informática .
- Broy, Manfredo; Denert, Ernst (2002). Pioneros del software .
- Broy, Manfredo; Grunbauer, Johannes; Hoare, Tony (2007). Fiabilidad y seguridad de los sistemas de software . Serie Seguridad de la OTAN a través de la ciencia: Seguridad de la información y las comunicaciones (Seguridad de la OTAN a través de… D: Seguridad de la información y las comunicaciones). vol. 9.
- Broy, Manfredo; Krüger, Ingolf; Meisinger, Michael (2006). Servicios conectados a software automotriz en redes móviles: primer taller de software automotriz, ASWSD 2004 . Apuntes de conferencias sobre informática . San Diego , California, Estados Unidos.
{{cite book}}
: Mantenimiento CS1: falta el editor de la ubicación ( enlace ) - Broy, Manfredo; Steinbrüggen, Ralf (2000). Diseño de sistemas de cálculo . Serie de ciencias de la OTAN: Ciencias de la informática y los sistemas (Serie OTAN ASI. Serie III, Ciencias de la informática y los sistemas) de Alemania) Instituto de estudios avanzados de la OTAN sobre diseño de sistemas de cálculo (1998). Marktoberdorf , Alemania .
{{cite book}}
: Mantenimiento CS1: falta el editor de la ubicación ( enlace ) - Broy, Manfred (1989). Métodos constructivos en informática: escuela internacional de verano . OTAN ASI. Serie F, Ciencias de la Computación y de Sistemas).
- Broy, Manfred (1996). Diseño de programas deductivos . Serie NATO ASI: Ciencias de la Computación y de Sistemas.
- Hoare, Tony ; Broy, Manfredo; Steinbrüggen, Ralf (2001). Teorías de ingeniería de la construcción de software . Serie científica de la OTAN. Serie III, Ciencias de la Computación y Sistemas, 180) de Alemania) Instituto de Estudios Avanzados de la OTAN sobre Teorías de Ingeniería de la Construcción de Software (2000). Marktoberdorf , Alemania ).
{{cite book}}
: Mantenimiento CS1: falta el editor de la ubicación ( enlace ) - Broy, Manfredo; Gruenbauer, Johannes; Harel, David ; Hoare, Tony (2005). Teorías de ingeniería de sistemas intensivos en software . Actas del Instituto de Estudios Avanzados de la OTAN sobre teorías de ingeniería de sistemas intensivos en software,… II: Matemáticas, Física y Química - vía Kindle.
- Broy, Manfredo; Bjorner, Dines ; Pottosina, Igor V. (1993). Métodos formales en programación y sus aplicaciones: actas de conferencias internacionales . Apuntes de conferencias sobre informática . Academgorodok, Novosibirsk, Rusia.
{{cite book}}
: Mantenimiento CS1: falta el editor de la ubicación ( enlace )
Referencias
- ^ "CV Prof. Dr. Dr. hc Manfred Hans Bertold Broy" (PDF) . Universidad Tecnológica de Viena (TU Wien) (en alemán). 2012. Archivado desde el original (PDF) el 11 de octubre de 2014 . Consultado el 12 de mayo de 2013 .
- ^ Cita de GI-Fellow Archivado el 3 de marzo de 2016 en Wayback Machine , consultado el 9 de marzo de 2012.
- ^ Winter, Cornelia (16 de agosto de 2007), "Manfred Broy aus München erhält Konrad-Zuse-Medaille - Höchste Informatik-Auszeichnung wird in Bremen verliehen", Informationsdienst Wissenschaft (en alemán)
- ^ Escuela de verano de Marktoberdorf sobre fundamentos teóricos de la metodología de programación (1982). Broy, Manfred (ed.). Fundamentos teóricos de la metodología de programación: notas de conferencias de una escuela de verano internacional, 1981. Serie de institutos de estudios avanzados de la OTAN . vol. 91. Reidel . Consultado el 2 de septiembre de 2015 .
enlaces externos
- Página web oficial
- Manfred Broy en el servidor de bibliografía DBLP