Científico informático danés
Hanne Riis Nielson (nacida en 1954) [1] es una científica informática especializada en métodos formales y análisis de programas estáticos , particularmente para aplicaciones relacionadas con la seguridad informática y la seguridad del software .
Educación y carrera
Como Hanne Riis, obtuvo una maestría de la Universidad de Aarhus con la tesis de 1980 Subclasses of Attribute Grammars . [2] Completó un doctorado en 1984 en la Universidad de Edimburgo , con la disertación Hoare Logics for Run-Time Analysis of Programs , supervisada por Gordon Plotkin . [3]
Fue profesora de informática e ingeniería en la Universidad Técnica de Dinamarca , donde dirigió la Sección de Tecnología Basada en el Lenguaje. [4]
Libros
Los libros de Nielson incluyen:
- Semántica con aplicaciones: una introducción formal (con Flemming Nielson, Wiley, 1992)
- Sistemas de tipos y efectos: comportamientos para la concurrencia (con Torben Amtoft y Flemming Nielson, Imperial College Press, 1999)
- Principios del análisis de programas (con Flemming Nielson y Chris Hankin, Springer, 1999) [5]
- Lenguajes funcionales de dos niveles (con Flemming Nielson, Cambridge University Press, 2005) [6]
- Semántica con aplicaciones: un aperitivo (con Flemming Nielson, Springer, 2007)
- Métodos formales: un aperitivo (con Flemming Nielson, Springer, 2019) [7]
Reconocimiento
En 2016 se publicó un homenaje en honor del 60º cumpleaños de Nielson y Flemming Nielson. [1]
Referencias
- ^ ab Probst, Christian W.; Hankin, Chris; Hansen, René Rydhof, eds. (2016), Semántica, lógica y cálculo: ensayos dedicados a Hanne Riis Nielson y Flemming Nielson con motivo de sus 60 cumpleaños, Lecture Notes in Computer Science, vol. 9560, Springer, doi :10.1007/978-3-319-27810-0, ISBN 978-3-319-27810-0
- ^ Riis, Hanne (1980), "Subclases de gramáticas de atributos", Daimi Report Series (tesis de maestría; DAIMI Report Series, 9(114)), 9 (114), Universidad de Aarhus, doi : 10.7146/dpb.v9i114.6532
- ^ Nielson, Hanne Riis (1984), Lógica de Hoare para el análisis en tiempo de ejecución de programas , Universidad de Edimburgo, hdl :1842/15527
- ^ "Speaker bio sketch: Hanne Riis Nielson", Taller por el cumpleaños de Anna: Seguridad sensible al flujo , Centro Islandés de Excelencia en Ciencias Informáticas Teóricas, Universidad de Reykjavík, 17 de febrero de 2017 , consultado el 5 de agosto de 2024
- ^ Reseñas de Principios de análisis de programas :
- Anatoly V.Anisimov, Zbl 0932.68013
- Roberto Giacobazzi (2002), señor 1728440
- ^ Revisión de lenguajes funcionales de dos niveles : S. Gerber, Zbl 0763.68023
- ^ Michaelson, Greg (junio de 2022), "Revisión de métodos formales: un aperitivo ", Aspectos formales de la informática , 34 (2): 1–2, doi :10.1145/3545181
Enlaces externos