Ernst-Rüdiger Olderog (nacido el 4 de junio de 1955) es un informático alemán. Es profesor titular en la Universidad de Oldenburg en Oldenburg , en el norte de Alemania .
Olderog proviene de Bredenbek en Schleswig-Holstein , norte de Alemania, y estudió informática , matemáticas y lógica en la Universidad de Kiel , donde recibió su doctorado en 1981 supervisado por el profesor Hans Langmaack en sistemas de caracterización estilo Hoare para programación similar a ALGOL. Idiomas. [1] Después de varias visitas de investigación al extranjero (incluido el Grupo de Investigación en Programación de la Universidad de Oxford y en Ámsterdam , Edimburgo , Yorktown Heightsy Saarbrücken ), también se habilitó en la Universidad de Kiel en 1989. Desde 1989, Olderog trabaja en el Departamento de Ciencias de la Computación de la Universidad de Oldenburg. En 1994, Olderog, junto con su colega Manfred Broy , recibió el premio Deutsche Forschungsgemeinschaft (DFG) Gottfried Wilhelm Leibniz , valorado en tres millones de marcos alemanes. De 1995 a 2005, Olderog fue presidente del Grupo de Trabajo 2.2 de IFIP sobre Descripción formal de conceptos de programación. En 1998, recibió el Silver Core Award de IFIP por su trabajo en este grupo IFIP. Olderog fue editor de la revista Acta Informatica y miembro de la Academia Europaea desde 2012. [2]
Olderog es profesor de informática teórica en la Universidad Carl von Ossietzky de Oldenburg. Es jefe del Departamento de Desarrollo de Sistemas Correctos, cuya investigación está relacionada con el campo de la teoría de la programación . El objetivo de este trabajo es el desarrollo de procedimientos para la creación sistemática de software correcto para sistemas paralelos y distribuidos con requisitos de tiempo. Olderog es autor de varios libros científicos. [3]
En 2015, se celebró un simposio en la Universidad Carl von Ossietzky de Oldenburg para celebrar el 60 cumpleaños de Olderog, con un Festschrift asociado . [4]
Libros
Olderog es autor, coautor y coeditor de los siguientes libros: [3]
- Olderog, E.-R. (1991). Redes, términos y fórmulas: tres visiones de procesos concurrentes y su relación . Cambridge: Cambridge University Press . ISBN 0-521-01845-5.
- Olderog, E.-R .; Dierks, Henning (2008). Sistemas en tiempo real: especificación formal y verificación automática . Cambridge: Cambridge University Press. ISBN 978-0-521-88333-7.
- Apt, Krzysztof R .; de Boer, Frank. S.; Olderog, E.-R. (2009). Verificación de programas secuenciales y concurrentes . Berlín: Springer-Verlag . ISBN 978-1-84882-744-8.
- Hinchey, MG ; Bowen, JP ; Olderog, E.-R. , eds. (2017). Sistemas demostrablemente correctos . Monografías de la NASA en Ingeniería de Sistemas y Software. Springer . ISBN 978-3319486277.
Referencias
- ^ Ernst-Rüdiger Olderog en el Proyecto de genealogía de las matemáticas .
- ^ "Ernst-Rüdiger Olderog" . Academia Europaea . Consultado el 8 de enero de 2018 .
- ^ a b "Libros: Ernst-Rüdiger Olderog" . Amazon.es . Consultado el 8 de enero de 2018 .
- ^ Meyer, Roland; Platzer, Andre; Wehrheim, Heike, eds. (2015). Diseño correcto del sistema: Simposio en honor a Ernst-Rüdiger Olderog con motivo de su 60 cumpleaños, Oldenburg, Alemania, 8 y 9 de septiembre de 2015, Actas . Informática Teórica y Cuestiones Generales. 9360 . Springer International Publishing . doi : 10.1007 / 978-3-319-23506-6 . ISBN 978-3-319-23505-9. S2CID 30847802 .
enlaces externos
- Página de inicio de Ernst-Rüdiger Olderog
- Publicaciones de Ernst-Rüdiger Olderog indexadas por Google Scholar
- Ernst-Rüdiger Olderog en el servidor de bibliografía DBLP