Sara Negri

Sara Negri (born January 21, 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–2005 at the Ludwig Maximilian University of 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

{{reflist|refs=

{{citation|url=https://www.ae-info.org/ae/User/Negri_Sara|title=Sara Negri|work=Member profiles|publisher=Academia Europaea|accessdate=2020-10-08}}

{{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}}

{{citation|url=http://www.helsinki.fi/~negri/negri_cv_9_2017.pdf|title=Curriculum vitae|date=September 2017|accessdate=2018-02-28}}

{{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}}

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}}

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}}

{{citation|url=https://rubrica.unige.it/personale/UkJCWFNp|title=University Personnel list|date=May 2020|accessdate=2020-05-16}}

}}