ハンネ・リース・ニールセン

ハンネ・リース・ニールセン（1954年生まれ）^{[ 1 ]}は、形式手法と静的プログラム解析を専門とするコンピュータ科学者であり、特にコンピュータセキュリティとソフトウェアの安全性に関わるアプリケーションを専門としている。

ハンネ・リースとして、彼女は1980年にオーフス大学で修士号を取得し、論文「属性文法のサブクラス」を執筆した。^{[ 2 ]}彼女は1984年にエジンバラ大学で博士号を取得し、博士論文「プログラムの実行時解析のためのホア論理」はゴードン・プロトキンの指導の下で執筆された。^{[ 3 ]}

彼女はデンマーク工科大学のコンピュータ科学および工学の教授であり、言語ベース技術部門の責任者であった。^{[ 4 ]}

ニールセンの著書には以下のようなものがある。

• 意味論とその応用：形式的入門（フレミング・ニールセン共著、ワイリー、1992年）
• 型と効果のシステム：並行処理のための振る舞い（トーベン・アムトフト、フレミング・ニールセン共著、インペリアル・カレッジ・プレス、1999年）
• プログラム分析の原理（フレミング・ニールセン、クリス・ハンキン共著、シュプリンガー、1999年）^{[ 5 ]}
• 2 レベルの関数型言語(フレミング・ニールソン共著、ケンブリッジ大学出版局、2005 年) ^{[ 6 ]}
• 意味論とその応用：入門編（フレミング・ニールセン共著、シュプリンガー社、2007年）
• 形式手法：入門編（フレミング・ニールソン共著、シュプリンガー、2019年）^{[ 7 ]}

2016年にニールセンとフレミング・ニールセンの60歳の誕生日を記念して記念論文集が出版された。 ^{[ 1 ]}

• Google Scholarによってインデックス付けされたHanne Riis Nielson の出版物