Ernst-Rüdiger Olderog

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 . Dirige el grupo Correct Systems Design (CSD) cuya investigación se centra en la teoría de los lenguajes de programación . Su objetivo de investigación son los métodos para el desarrollo sistemático de software correcto para sistemas paralelos y distribuidos bajo restricciones de tiempo real. En 1994, Olderog recibió el Premio Leibnitz de la Fundación Alemana de Investigación (DFG) por su trabajo. Fue autor de varios libros científicos y se desempeñó como editor en jefe de la revista Acta Informatica y como presidente del Grupo de trabajo 2.2 de la IFIP sobre descripción formal de conceptos de programación. Su trabajo en este grupo de trabajo recibió el premio IFIP Silver Core en 1998.

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 Hans Langmaack en sistemas de caracterización de estilo Hoare para lenguajes de programación similares a ALGOL . ^[1] Después de varias visitas de investigación en el extranjero (incluido el Grupo de Investigación de Programación en la Universidad de Oxford y en Ámsterdam , Edimburgo , Yorktown Heights y Saarbrücken ), se habilitó también en la Universidad de Kiel en 1989. Desde 1989, Olderog ha estado basado en el Departamento de Ciencias de la Computación, Universidad de Oldenburg. De 1995 a 2005, Olderog se desempeñó como presidente del Grupo de Trabajo 2.2 del IFIP sobre Descripción Formal de Conceptos de Programación. Fue editor en jefe de la revista Acta Informatica y en 2012 se convirtió en miembro de la Academia Europaea . De 2012 a 2021 Olderog fue Presidente de la Escuela de Graduados SCARE (I + II) y de 2017 a 2019 fue Decano de la Facultad II.

• En 1994, Olderog, junto con su colega Manfred Broy , recibió el premio Gottfried Wilhelm Leibniz de la Deutsche Forschungsgemeinschaft (DFG) , valorado en tres millones de marcos alemanes.
• De 1995 a 2005, Olderog fue presidente del Grupo de Trabajo 2.2 del IFIP sobre Descripción Formal de Conceptos de Programación.
• En 1998 recibió el premio Silver Core Award de la IFIP por su trabajo en este grupo de la IFIP.
• Olderog fue editor de la revista Acta Informatica
• Es miembro de la Academia Europaea desde 2012. ^[2]
• En 2015 se celebró en la Universidad de Oldenburg un simposio con un Festschrift asociado ^[3] para celebrar su 60º cumpleaños.

Olderog es autor, coautor y coeditor de los siguientes libros:

• Olderog, E.-R. (1991). Redes, términos y fórmulas: tres puntos de vista sobre procesos concurrentes y sus relaciones . 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). Provably Correct Systems (Sistemas demostrablemente correctos ) . Monografías de la NASA sobre ingeniería de sistemas y software. Springer . ISBN. 978-3319486277.

• 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