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.
[3] Her dissertation, Dalla Topologia Formale all'Analisi, was supervised by Giovanni Sambin.
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.