Sara Negri (nacida el 21 de enero de 1967) [1] es una lógica matemática que estudia la teoría de la prueba . Es italiana, trabajó varios años en Finlandia, donde fue profesora de filosofía teórica en la Universidad de Helsinki , y actualmente ocupa el cargo de profesora de lógica matemática en la Universidad de Génova . [2]
Negri nació en Padua , [1] y estudió en la Universidad de Padua . Obtuvo una maestría allí en 1991 y un doctorado. en 1996, ambos en matemáticas. [3] Su disertación, Dalla Topologia Formale all'Analisi , fue supervisada por Giovanni Sambin. [4]
Fue a Helsinki como docente en 1998 y se convirtió en profesora titular allí en 2015. También ocupó varios puestos visitantes, [3] incluida una beca Humboldt en 2004-2005 en la Universidad Ludwig Maximilian de Munich . [3] [5] Se convirtió en profesora titular de lógica matemática en la Universidad de Génova , en Italia , en 2019.
Negri fue elegido miembro de la Academia Europaea en 2018. [6]
Negri es coautor, con Jan von Plato, de dos libros:
{{citation}}
: Mantenimiento CS1: publicación periódica sin título ( enlace ){{citation}}
: Mantenimiento CS1: publicación periódica sin título ( enlace ){{citation}}
: Mantenimiento CS1: publicación periódica sin título ( enlace ){{citation}}
: Mantenimiento CS1: publicación periódica sin título ( enlace ){{citation}}
: Mantenimiento CS1: publicación periódica sin título ( enlace )