Sara Negri (born January 21, 1967) is a

mathematical logic Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...

ian who studies

proof theory Proof theory is a major branchAccording to Wang (1981), pp. 3–4, proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Jon Barwise, Barwise (1978) consists of four correspo ...

. She is Italian, worked in Finland for several years, where she was a professor of theoretical philosophy in the

University of Helsinki The University of Helsinki ( fi, Helsingin yliopisto, sv, Helsingfors universitet, abbreviated UH) is a public research university located in Helsinki, Finland since 1829, but founded in the city of Turku (in Swedish ''Åbo'') in 1640 as the ...

, and currently holds a position as professor of

at the

University of Genoa The University of Genoa, known also with the acronym UniGe ( it, Università di Genova), is one of the largest universities in Italy. It is located in the city of Genoa and regional Metropolitan City of Genoa, on the Italian Riviera in the Liguri ...

Education and career

Negri was born in

Padua Padua ( ; it, Padova ; vec, Pàdova) is a city and ''comune'' in Veneto, northern Italy. Padua is on the river Bacchiglione, west of Venice. It is the capital of the province of Padua. It is also the economic and communications hub of the ...

, and studied at the

University of Padua The University of Padua ( it, Università degli Studi di Padova, UNIPD) is an Italian university located in the city of Padua, region of Veneto, northern Italy. The University of Padua was founded in 1222 by a group of students and teachers from B ...

. She earned a master's degree there in 1991 and a Ph.D. in 1996, both in mathematics. Her dissertation, ''Dalla Topologia Formale all'Analisi'', was supervised by Giovanni Sambin. She went to Helsinki as a docent in 1998, and became a full professor there in 2015. She has also taken several visiting positions, including a

Humboldt Fellowship The Alexander von Humboldt Foundation (german: Alexander von Humboldt-Stiftung) is a foundation established by the government of the Federal Republic of Germany and funded by the Federal Foreign Office, the Federal Ministry of Education and Resear ...

in 2004–2005 at the

Ludwig Maximilian University of Munich The Ludwig Maximilian University of Munich (simply University of Munich or LMU; german: Ludwig-Maximilians-Universität München) is a public research university in Munich, Germany. It is Germany's sixth-oldest university in continuous operatio ...

. She became full professor of mathematical logic at the

, in

Italy Italy ( it, Italia ), officially the Italian Republic, ) or the Republic of Italy, is a country in Southern Europe. It is located in the middle of the Mediterranean Sea, and its territory largely coincides with the homonymous geographical re ...

, in 2019.

Recognition

Negri was elected to the Academia Europaea in 2018.

Books

Negri is the co-author, with Jan von Plato, of two books: *''Structural Proof Theory'' (Cambridge University Press, 2001) *''Proof Analysis: A Contribution to Hilbert's Last Problem'' (Cambridge University Press, 2011)

References

External links

* {{DEFAULTSORT:Negri, Sara 1967 births Living people Italian mathematicians 20th-century Italian philosophers 21st-century Italian philosophers Finnish mathematicians Finnish philosophers Women mathematicians Italian women philosophers Mathematical logicians Women logicians University of Padua alumni Academic staff of the University of Helsinki Italian expatriates in Finland Members of Academia Europaea