Manfred Broy (nacido el 10 de agosto de 1949, Landsberg am Lech ) es un informático alemán y profesor emérito del Departamento de Informática de la Universidad Técnica de Munich , Garching , Alemania .
Manfred Broy | |
---|---|
Nació | |
Ciudadanía | Alemania |
Educación | Doctor. , 1980 |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Passau Universidad Técnica de Munich |
Tesis | Transformación de programas de ejecución paralela (1980) |
Asesor de doctorado | Friedrich L. Bauer |
Sitio web | www |
Biografía
Broy obtuvo su Doctorado en Filosofía (Ph.D.) en 1980 en 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, fue a 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 ha estado enseñando 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, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander (2005). Pruebas basadas en modelos de sistemas reactivos: conferencias avanzadas . Apuntes de conferencias en Ciencias de la Computación .
- Broy, Manfred; Denert, Ernst (2002). Pioneros en software .
- Broy, Manfred; 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 mediante… D: Seguridad de la información y las comunicaciones). 9 .
- Broy, Manfred; 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 en Ciencias de la Computación . San Diego , California, Estados Unidos.
- Broy, Manfred; Steinbrüggen, Ralf (2000). Diseño de sistemas de cálculo . Serie de Ciencias de la OTAN: Ciencias de Sistemas y Computación (Serie ASI de la OTAN. Serie III, Ciencias de Sistemas y Computación) por Alemania) Instituto de Estudios Avanzados de la OTAN sobre Diseño de Sistemas de Cálculo (1998). Marktoberdorf , Alemania .
- Broy, Manfred (1989). Métodos constructivos en ciencias de la computación: Escuela de verano internacional . OTAN ASI. Serie F, Ciencias de la computación y sistemas).
- Broy, Manfred (1996). Diseño de programas deductivos . Serie ASI de la OTAN: Ciencias de la Computación y Sistemas.
- Hoare, Tony ; Broy, Manfred; Steinbrüggen, Ralf (2001). Teorías de ingeniería de la construcción de software . Serie de ciencia 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 ).
- Broy, Manfred; 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 de Software,… II: Matemáticas, Física y Química - vía Kindle.
- Broy, Manfred; Bjørner, Dines ; Pottosin, Igor V. (1993). Métodos formales de programación y sus aplicaciones: actas de conferencias internacionales . Apuntes de conferencias en Ciencias de la Computación . Academgorodok, Novosibirsk, Rusia.
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.
- ^ Invierno, 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 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 la conferencia de una escuela de verano internacional, 1981 . Serie de Institutos de Estudios Avanzados de la OTAN . 91 . Reidel . Consultado el 2 de septiembre de 2015 .
enlaces externos
- Página web oficial
- Manfred Broy en el servidor de bibliografía DBLP