Hanne Riis Nielson (born 1954)[1] is a computer scientist specializing in formal methods and static program analysis, particularly for applications involving computer security and software safety.
Education and career
[edit]As Hanne Riis, she earned a master's degree from Aarhus University with the 1980 thesis Subclasses of Attribute Grammars.[2] She completed a Ph.D. in 1984 at the University of Edinburgh, with the dissertation Hoare Logics for Run-Time Analysis of Programs, supervised by Gordon Plotkin.[3]
She was a professor in computer science and engineering at the Technical University of Denmark, where she headed the Section on Language Based Technology.[4]
Books
[edit]Nielson's books include:
- Semantics with Applications: A Formal Introduction (with Flemming Nielson, Wiley, 1992)
- Type And Effect Systems: Behaviours For Concurrency (with Torben Amtoft and Flemming Nielson, Imperial College Press, 1999)
- Principles of Program Analysis (with Flemming Nielson and Chris Hankin, Springer, 1999)[5]
- Two-Level Functional Languages (with Flemming Nielson, Cambridge University Press, 2005)[6]
- Semantics with Applications: An Appetizer (with Flemming Nielson, Springer, 2007)
- Formal Methods: An Appetizer (with Flemming Nielson, Springer, 2019)[7]
Recognition
[edit]In 2016, a festschrift was published in honor of the 60th birthdays of Nielson and Flemming Nielson.[1]
References
[edit]- ^ a b Probst, Christian W.; Hankin, Chris; Hansen, René Rydhof, eds. (2016), Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, Springer, doi:10.1007/978-3-319-27810-0, ISBN 978-3-319-27810-0
- ^ Riis, Hanne (1980), Subclasses of Attribute Grammars (Master's thesis; DAIMI Report Series, 9(114)), Aarhus University, doi:10.7146/dpb.v9i114.6532
- ^ Nielson, Hanne Riis (1984), Hoare Logics for Run-Time Analysis of Programs, University of Edinburgh, hdl:1842/15527
- ^ "Speaker bio sketch: Hanne Riis Nielson", Workshop for Anna´s birthday: Flow Sensitive Security, Icelandic Centre of Excellence in Theoretical Computer Science, Reykjavík University, 17 February 2017, retrieved 2024-08-05
- ^ Reviews of Principles of Program Analysis:
- Anatoly V.Anisimov, Zbl 0932.68013
- Roberto Giacobazzi (2002), MR1728440
- ^ Review of Two-Level Functional Languages: S. Gerber, Zbl 0763.68023
- ^ Michaelson, Greg (June 2022), "Review of Formal Methods: An Appetizer", Formal Aspects of Computing, 34 (2): 1–2, doi:10.1145/3545181
External links
[edit]- Hanne Riis Nielson publications indexed by Google Scholar