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
  1. ^ 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, Lecture Notes in Computer Science, vol. 9560, Springer, doi:10.1007/978-3-319-27810-0, ISBN 978-3-319-27810-0
  2. ^ Riis, Hanne (1980), "Subclasses of Attribute Grammars", Daimi Report Series (Master's thesis; DAIMI Report Series, 9(114)), 9 (114), Aarhus University, doi:10.7146/dpb.v9i114.6532
  3. ^ Nielson, Hanne Riis (1984), Hoare Logics for Run-Time Analysis of Programs, University of Edinburgh, hdl:1842/15527
  4. ^ "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
  5. ^ Reviews of Principles of Program Analysis:
  6. ^ Review of Two-Level Functional Languages: S. Gerber, Zbl 0763.68023
  7. ^ Michaelson, Greg (June 2022), "Review of Formal Methods: An Appetizer", Formal Aspects of Computing, 34 (2): 1–2, doi:10.1145/3545181
edit