Anders P. Ravn nació en 1947 en Caracas , Venezuela , hijo de Niels y Henny (Sønder) Ravn. [1] [2] Llegó a Dinamarca en 1948. Ravn obtuvo una Maestría en Ciencias (M.Sc.) en Ciencias de la Computación y Matemáticas de la Universidad de Copenhague en 1973 y un Doctorado en Tecnología (Dr.Tech.) en Ciencias de la Computación de la Universidad Técnica de Dinamarca en 1995. [3]
Entre 1969 y 1973, Anders Ravn fue profesor asistente en el Departamento de Ciencias de la Computación de la Universidad de Copenhague (DIKU). [3] De 1972 a 1976, fue programador de sistemas en minicomputadoras en la empresa informática danesa A/S Regnecentralen . Regresó a la academia y ascendió de profesor asistente (1976–80) a profesor asociado (1980–84) en DIKU. Durante 1982–3, fue científico visitante en el Centro de Investigación Thomas J. Watson de IBM en Yorktown Heights , Nueva York , Estados Unidos .. Se unió al Departamento de Ciencias de la Computación en la Universidad Técnica de Dinamarca (ID-DTH) como profesor (1984–9) seguido de lector (1989–99) en el Departamento de Tecnología de la Información . Durante este tiempo, también fue profesor adjunto en el Departamento de Matemáticas de la Real Universidad Veterinaria y Agrícola de Dinamarca (1985–9), investigador invitado en la Universidad de Oxford (1989–90) y profesor invitado en el Institut für Praktische Mathematik. und Informatik, Universidad de Kiel en Alemania (1994). [3] Participó en el ESPRITProyecto ProCoS sobre Sistemas Provably Correct. Fue profesor de investigación en el Departamento de Ciencias de la Computación de la Universidad de Aalborg (1999–2004), antes de ser nombrado profesor de Ciencias de la Computación allí (2004–16). Luego se jubiló, convirtiéndose en Profesor Emérito .
Ravn se especializó en la investigación de métodos formales , especialmente para sistemas embebidos y sistemas híbridos . [4] En particular, trabajó con Zhou Chaochen y Tony Hoare en el desarrollo del cálculo de duración para sistemas en tiempo real .
Se convirtió en miembro de Dansk Selskab for Datalogi (DSfD) en 1972, de Association for Computing Machinery (ACM) en 1983, y fue miembro vitalicio de IEEE Computer Society . [3] También fue miembro del Grupo de Trabajo IFIP 2.2 (que cubre la Descripción Formal de los Conceptos de Programación) desde 2002.
Anders Ravn recibió el premio honorífico de Ulrik y Marie Brinch en 1996. [3] Fue honrado como Caballero de la Orden de Dannebrog en 2015. [3] [5] Se casó con Annemette Lind el 31 de agosto de 1973 y tuvieron dos hijos. [1] [2] Ravn murió en Copenhague el 1 de agosto de 2019. [6] [7]