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]

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.

Negri was elected to the Academia Europaea in 2018. ^[6]

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]

• Sara Negri publications indexed by Google Scholar