Manfred Broy

Científico informático alemán

Manfred Broy (nacido el 10 de agosto de 1949) es un científico informático alemán y profesor emérito del Departamento de Informática de la Universidad Técnica de Múnich , Garching , Alemania .

Biografía

Broy obtuvo su doctorado en 1980 en la cátedra de Friedrich L. Bauer con el tema de la transformación de programas que se ejecutan en paralelo (Transformation parallel ablaufender Programme) .

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 pasó a la Universidad Técnica de Múnich (TUM), ^[1] donde en 1992 se convirtió en 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 imparte docencia en la Universidad Técnica de Múnich.

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 del International Journal of Software and Informatics . Broy ha sido director de la International Summer School 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: lecciones avanzadas . Apuntes de clases de informática .
• Broy, Manfredo; Denert, Ernst (2002). Pioneros del 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 (Nato Security Through … D: Seguridad de la información y las comunicaciones). Vol. 9.
• Broy, Manfred; Krüger, Ingolf; Meisinger, Michael (2006). Servicios conectados por software para la automoción en redes móviles: primer taller de software para la automoción, ASWSD 2004. Lecture Notes in Computer Science . San Diego , California, Estados Unidos.{{cite book}}: Mantenimiento de CS1: falta la ubicación del editor ( enlace )
• Broy, Manfred; Steinbrüggen, Ralf (2000). Diseño de sistemas de cálculo . NATO Science Series: Computers & Systems Sciences (NATO ASI Series. Series III, Computer and Systems Sciences) por Alemania) Instituto de Estudios Avanzados de la OTAN sobre Diseño de Sistemas de Cálculo (1998). Marktoberdorf , Alemania .{{cite book}}: Mantenimiento de CS1: falta la ubicación del editor ( enlace )
• Broy, Manfred (1989). Métodos constructivos en ciencias de la computación: Escuela de verano internacional . NATO ASI. Serie F, Ciencias de la computación y sistemas).
• Broy, Manfred (1996). Diseño de programas deductivos . Serie NATO ASI: 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 . NATO Science Series. Serie III, Ciencias de la computación y de sistemas, 180) por 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 de CS1: falta la ubicación del editor ( enlace )
• 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 en software, … II: Matemáticas, Física y Química – vía Kindle.
• Broy, Manfred; Bjørner, Dines ; Pottosin, Igor V. (1993). Métodos formales en programación y sus aplicaciones: Actas de congresos internacionales . Apuntes de conferencias sobre informática . Academgorodok, Novosibirsk, Rusia.{{cite book}}: Mantenimiento de CS1: falta la ubicación del editor ( enlace )

Referencias

1. "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 .
2. Cita de GI-Fellow Archivado el 3 de marzo de 2016 en Wayback Machine , consultado el 9 de marzo de 2012.
3. 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)
4. Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology (1982). Broy, Manfred (ed.). Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, 1981. NATO Advanced Study Institutes Series. Vol. 91. Reidel . Consultado el 2 de septiembre de 2015 .

Enlaces externos

• Sitio web oficial
• Manfred Broy en el servidor de bibliografía DBLP