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 recibió 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 miniordenadores en la primera empresa de informática danesa A / S Regnecentralen . Regresó a la academia y ascendió de profesor asistente (1976-1980) a profesor asociado (1980-1984) en DIKU. Durante 1982-3, era un científico visitante en IBM 's Centro de Investigación Thomas J. Watson en Yorktown Heights , Nueva York , Estados Unidos. Se incorporó al Departamento de Ciencias de la Computación de la Universidad Técnica de Dinamarca (ID-DTH) como conferenciante (1984-1999), seguido de lector (1989-1999) 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 Agrícola y Veterinaria de Dinamarca (1985-1959), investigador invitado en la Universidad de Oxford (1989-1990) 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 demostrablemente correctos. 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 retiró y se convirtió en profesor emérito .
Ravn se especializó en la investigación de métodos formales , especialmente para sistemas integrados 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 la Association for Computing Machinery (ACM) en 1983 y fue miembro vitalicio de la IEEE Computer Society . [3] También fue miembro del Grupo de Trabajo 2.2 del IFIP (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]