サラ・ネグリ（1967年1月21日生まれ）[1]は、証明論を研究する数理論理学者である。イタリア出身で、フィンランドで数年間活動し、ヘルシンキ大学で理論哲学の教授を務めた後、現在はジェノヴァ大学で数理論理学の教授を務めている。[2]
教育とキャリア
ネグリはパドヴァ[ 1]で生まれ、パドヴァ大学で学びました。1991年に同大学で数学の修士号、1996年に博士号を取得しました。[3]彼女の博士論文「Dalla Topologia Formale all'Analisi（分析形式の位相学）」は、ジョヴァンニ・サンビンの指導を受けました。[4]
彼女は1998年にヘルシンキの講師として赴任し、2015年に同大学の教授に就任しました。また、いくつかの客員教授も務めており、[3]その中には2004年から2005年にかけてミュンヘンのルートヴィヒ・マクシミリアン大学でフンボルトフェローを務めた職も含まれています。[3] [5]彼女は2019年にイタリアのジェノヴァ大学で数理論理学の教授に就任しました。
認識
ネグリは2018年にヨーロッパアカデミーに選出された。 [6]
本
ネグリはヤン・フォン・プラトンと共著で以下の 2 冊の本を著しています。
- 構造証明理論（ケンブリッジ大学出版局、2001年）[7]
- 証明分析：ヒルベルトの最終問題への貢献（ケンブリッジ大学出版局、2011年）[8]
参考文献
- ^ ab "Sara Negri", 375 Humanists , Faculty of Arts, University of Helsinki, 2015年9月6日, 2018年2月28日閲覧
- ^ 大学人事リスト、2020年5月、 2020年5月16日閲覧
- ^ abc "Curriculum vitae" (PDF)、International Journal of Mass Spectrometry、413 :9、2017年9月、Bibcode :2017IJMSp.413....9.、doi :10.1016/j.ijms.2017.01.010 、 2018年2月28日取得
- ^ 数学系譜プロジェクトのサラ・ネグリ
- ^ ネグリ、サラ（2009年）「Alone Amongst Men」、フンボルト・コスモス、アレクサンダー・フォン・フンボルト財団、2018年2月28日閲覧。
- ^ 「Sara Negri」、メンバープロフィール、Academia Europaea 、2020年10月8日閲覧
- ^ 構造証明理論のレビュー：
- ^ 証明分析のレビュー:
外部リンク
- Google Scholarに索引付けされたサラ・ネグリの出版物
