{{short description|Mathematical logician}} {{Use dmy dates|cs1-dates=ly|date=October 2020}} {{Use list-defined references|date=October 2020}} '''Sara Negri''' (born 21 January 1967){{r|hum}} 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.{{r|unige}}
==Education and career== Negri was born in Padua,{{r|hum}} 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.{{r|cv}} Her dissertation, ''Dalla Topologia Formale all'Analisi'', was supervised by Giovanni Sambin.{{r|mgp}}
She went to Helsinki as a docent in 1998, and became a full professor there in 2015. She has also taken several visiting positions,{{r|cv}} including a Humboldt Fellowship in 2004 and 2005 at LMU Munich.{{r|cv|alone}} 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.{{r|ae}}
==Books== Negri is the co-author, with Jan von Plato, of two books: * ''Structural Proof Theory'' (Cambridge University Press, 2001){{r|spt}} * ''Proof Analysis: A Contribution to Hilbert's Last Problem'' (Cambridge University Press, 2011){{r|pa}}
==References== <references>
<ref name=ae>{{citation|url=https://www.ae-info.org/ae/User/Negri_Sara|title=Sara Negri|work=Member profiles|publisher=Academia Europaea|accessdate=2020-10-08}}</ref>
<ref name=alone>{{citation|url=https://www.humboldt-foundation.de/web/kosmos-cover-story-94-15.html|title=Alone Amongst Men|first=Sara|last=Negri|publisher=Alexander von Humboldt Foundation|magazine=Humboldt Kosmos|year=2009|accessdate=2018-02-28}}</ref>
<ref name=cv>{{citation|url=http://www.helsinki.fi/~negri/negri_cv_9_2017.pdf|title=Curriculum vitae|journal=International Journal of Mass Spectrometry |date=September 2017|volume=413 |page=9 |doi=10.1016/j.ijms.2017.01.010 |bibcode=2017IJMSp.413....9. |accessdate=2018-02-28}}</ref>
<ref name=hum>{{citation|url=http://375humanistia.helsinki.fi/en/humanists/sara-negri|title=Sara Negri|work=375 Humanists|date=6 September 2015 |publisher=Faculty of Arts, University of Helsinki|accessdate=2018-02-28}}</ref>
<ref name=mgp>{{mathgenealogy|id=51215}}</ref>
<ref name=pa>Reviews of ''Proof Analysis'': *{{citation|title=none|first=M.|last=Yasuhara|journal=zbMATH|zbl=1247.03001}} *{{citation|title=none|first=Andrzej B.|last=Indrzejczak|journal=Mathematical Reviews|mr=3136234}} *{{citation|title=none|first=F.|last=Poggiolesi|journal=History and Philosophy of Logic|year=2013|volume=34|issue=1|pages=98–99|doi=10.1080/01445340.2012.735805|s2cid=120172922}} </ref>
<ref name=spt>Reviews of ''Structural Proof Theory'': *{{citation|title=none|first=M.|last=Yasuhara|journal=Mathematical Reviews|year=2002|mr=1841217}} *{{citation|title=none|first=Harold T.|last=Hodes|journal=The Philosophical Review|volume=115|issue=2|date=April 2006|pages=255–258|jstor=20446902|doi=10.1215/00318108-2005-019}} </ref>
<ref name=unige> {{citation|url=https://rubrica.unige.it/personale/UkJCWFNp|title=University Personnel list|date=May 2020|accessdate=2020-05-16}}</ref>
</references>
==External links== * {{Google Scholar id|vw2yWRQAAAAJ}}
{{Authority control}} {{DEFAULTSORT:Negri, Sara}} Category:1967 births Category:Living people Category:Italian mathematicians Category:20th-century Italian philosophers Category:21st-century Italian philosophers Category:Proof theorists Category:Finnish mathematicians Category:Finnish philosophers Category:Women mathematicians Category:Italian women philosophers Category:Mathematical logicians Category:Women logicians Category:University of Padua alumni Category:Academic staff of the University of Helsinki Category:Italian expatriates in Finland Category:Members of Academia Europaea