Sara Negri
Sara Negri (born January 21, 1967)[1]:{{{3}}} 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]:{{{3}}}
Education and career
Negri was born in Padua,[1]:{{{3}}} 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]:{{{3}}} Her dissertation, Dalla Topologia Formale all'Analisi, was supervised by Giovanni Sambin.[4]:{{{3}}}
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]:{{{3}}} including a Humboldt Fellowship in 2004–2005 at the Ludwig Maximilian University of Munich.[3]:{{{3}}}[5]:{{{3}}} She became full professor of mathematical logic at the University of Genoa, in Italy, in 2019.
Recognition
Negri was elected to the Academia Europaea in 2018.[6]:{{{3}}}
Books
Negri is the co-author, with Jan von Plato, of two books:
- Structural Proof Theory (Cambridge University Press, 2001)[7]:{{{3}}}
- Proof Analysis: A Contribution to Hilbert's Last Problem (Cambridge University Press, 2011)[8]:{{{3}}}
References
- ↑ 1.0 1.1 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 3.0 3.1 3.2 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Sara Negri at the Mathematics Genealogy Project
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Reviews of Structural Proof Theory:
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Reviews of Proof Analysis:
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
External links
- Articles with short description
- Use dmy dates from October 2020
- Articles with invalid date parameter in template
- Use list-defined references from October 2020
- 1967 births
- Living people
- Italian mathematicians
- Italian philosophers
- Finnish mathematicians
- Finnish philosophers
- Women mathematicians
- Italian women philosophers
- Mathematical logicians
- University of Padua alumni
- Academics of the University of Helsinki
- Italian expatriates in Finland
- Members of Academia Europaea
