Sara Negri
Sara Negri (born January 21, 1967)[1] is a mathematical logician who studies proof theory. She is Italian, worked in Finland for several years, where she was a professor of theoretical philosophy in the University of Helsinki, and currently holds a position as professor of mathematical logic at the University of Genoa.[2]
Education and career
[edit]Negri was born in Padua,[1] and studied at the University of Padua. She earned a master's degree there in 1991 and a Ph.D. in 1996, both in mathematics.[3] Her dissertation, Dalla Topologia Formale all'Analisi, was supervised by Giovanni Sambin.[4]
She went to Helsinki as a docent in 1998, and became a full professor there in 2015. She has also taken several visiting positions,[3] including a Humboldt Fellowship in 2004–2005 at the Ludwig Maximilian University of Munich.[3][5] She became full professor of mathematical logic at the University of Genoa, in Italy, in 2019.
Recognition
[edit]Negri was elected to the Academia Europaea in 2018.[6]
Books
[edit]Negri is the co-author, with Jan von Plato, of two books:
- Structural Proof Theory (Cambridge University Press, 2001)[7]
- Proof Analysis: A Contribution to Hilbert's Last Problem (Cambridge University Press, 2011)[8]
References
[edit]- ^ a b "Sara Negri", 375 Humanists, Faculty of Arts, University of Helsinki, 6 September 2015, retrieved 2018-02-28
- ^ University Personnel list, May 2020, retrieved 2020-05-16
- ^ a b c Curriculum vitae (PDF), September 2017, retrieved 2018-02-28
- ^ Sara Negri at the Mathematics Genealogy Project
- ^ Negri, Sara (2009), "Alone Amongst Men", Humboldt Kosmos, Alexander von Humboldt Foundation, retrieved 2018-02-28
- ^ "Sara Negri", Member profiles, Academia Europaea, retrieved 2020-10-08
- ^ Reviews of Structural Proof Theory:
- ^ Reviews of Proof Analysis:
- Yasuhara, M., zbMATH, Zbl 1247.03001
{{citation}}: CS1 maint: untitled periodical (link) - Indrzejczak, Andrzej B., Mathematical Reviews, MR 3136234
{{citation}}: CS1 maint: untitled periodical (link) - Poggiolesi, F. (2013), History and Philosophy of Logic, 34 (1): 98–99, doi:10.1080/01445340.2012.735805, S2CID 120172922
{{citation}}: CS1 maint: untitled periodical (link)
- Yasuhara, M., zbMATH, Zbl 1247.03001
External links
[edit]- Sara Negri publications indexed by Google Scholar
- 1967 births
- Living people
- Italian mathematicians
- 20th-century Italian philosophers
- 21st-century Italian philosophers
- Finnish mathematicians
- Finnish philosophers
- Women mathematicians
- Italian women philosophers
- Mathematical logicians
- Women logicians
- University of Padua alumni
- Academic staff of the University of Helsinki
- Italian expatriates in Finland
- Members of Academia Europaea