Hanne Riis Nielson
From Wikipedia, the free encyclopedia
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.
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]
