stringtranslate.com

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.


Biografía

Educación y carrera académica

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.

Premios y honores

Libros

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

Referencias

  1. ^ Ernst-Rüdiger Olderog en el Proyecto de Genealogía Matemática .
  2. ^ "Ernst-Rüdiger Olderog". Academia Europaea . Consultado el 8 de enero de 2018 .
  3. ^ Meyer, Roland; Platzer, Andre; Wehrheim, Heike, eds. (2015). Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Alemania, 8-9 de septiembre de 2015, Actas . Ciencias de la computación teóricas y cuestiones generales. Vol. 9360. Springer International Publishing . doi :10.1007/978-3-319-23506-6. ISBN . 978-3-319-23505-9. Número de identificación del sujeto  30847802.

Enlaces externos