サラ・ネグリ

サラ・ネグリ（1967年1月21日生まれ）^{[ 1 ]}は、証明論を研究する数理論理学者である。イタリア出身で、数年間フィンランドでヘルシンキ大学の理論哲学教授を務め、現在はジェノヴァ大学の数理論理学教授の職にある。^{[ 2 ]}

ネグリはパドヴァで生まれ、^{[ 1 ]}パドヴァ大学で学んだ。彼女は1991年に同大学で修士号を、1996年に同大学で博士号を、いずれも数学の分野で取得した。^{[ 3 ]}彼女の博士論文「Dalla Topologia Formale all'Analisi」は、ジョヴァンニ・サンビンの指導を受けた。^{[ 4 ]}

彼女は1998年にヘルシンキに講師として赴任し、2015年に同大学の正教授となった。また、ミュンヘン大学（LMU）での2004年と2005年のフンボルト・フェローシップを含む、いくつかの客員研究員の職も務めた^。[ 3 ] [ 5 ^] 2019^{年にはイタリアのジェノヴァ}大学で数理論理学の正教授となった。

ネグリは2018年にヨーロッパ学術アカデミーに選出された。 ^{[ 6 ]}

ネグリはヤン・フォン・プラトーと共著で2冊の本を出版している。

• 構造的証明理論（ケンブリッジ大学出版局、2001年）^{[ 7 ]}
• 証明解析：ヒルベルトの最後の問題への貢献（ケンブリッジ大学出版局、2011年）^{[ 8 ]}

• Google Scholarにインデックス登録されているサラ・ネグリの出版物