Sara Negri

Sara Negri (ur. 21 stycznia 1967) jest logikiem matematycznym , który studiuje teorię dowodu . Jest Włoszką, przez kilka lat pracowała w Finlandii, gdzie była profesorem filozofii teoretycznej na Uniwersytecie w Helsinkach , a obecnie jest profesorem logiki matematycznej na Uniwersytecie w Genui .

Edukacja i kariera

Negri urodził się w Padwie i studiował na Uniwersytecie Padewskim . Zdobyła tam tytuł magistra w 1991 roku i doktorat. w 1996 r., oba z matematyki. Jej rozprawa, Dalla Topologia Formale all'Analisi , była nadzorowana przez Giovanniego Sambina.

W 1998 r. wyjechała do Helsinek jako docent, aw 2015 r. została tam profesorem zwyczajnym. Zajmowała również kilka wizytujących stanowisk, w tym stypendium Humboldta w latach 2004–2005 na Uniwersytecie Ludwiga Maksymiliana w Monachium . W 2019 roku została profesorem zwyczajnym logiki matematycznej na Uniwersytecie w Genui we Włoszech .

Uznanie

Negri został wybrany do Academia Europaea w 2018 roku.

Książki

Negri jest współautorem, wraz z Janem von Platonem, dwóch książek:

• Teoria dowodu strukturalnego (Cambridge University Press, 2001)
• Analiza dowodu: wkład w ostatni problem Hilberta (Cambridge University Press, 2011)

Linki zewnętrzne

• Sary Negri indeksowane przez Google Scholar