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] Nielson's books include: In 2016, a festschrift was published in honor of the 60th birthdays of Nielson and Flemming Nielson.