Hanne Riis Nielson

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

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

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

In 2016, a festschrift was published in honor of the 60th birthdays of Nielson and Flemming Nielson. ^[1]

References

1. 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:
   • Anatoly V.Anisimov, Zbl   0932.68013
   • Roberto Giacobazzi (2002), MR   1728440
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

External links

• Hanne Riis Nielson publications indexed by Google Scholar