Sara Negri

Sara Negri (born January 21, 1967)[1] 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.[2]

Education and career

Negri was born in Padua,[1] 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.[3] Her dissertation, Dalla Topologia Formale all'Analisi, was supervised by Giovanni Sambin.[4]

She went to Helsinki as a docent in 1998, and became a full professor there in 2015. She has also taken several visiting positions,[3] including a Humboldt Fellowship in 2004–2005 at the Ludwig Maximilian University of Munich.[3][5] She became full professor of mathematical logic at the University of Genoa, in Italy, in 2019.

Books

Negri is the co-author, with Jan von Plato, of two books:

  • Structural Proof Theory (Cambridge University Press, 2001)[6]
  • Proof Analysis: A Contribution to Hilbert's Last Problem (Cambridge University Press, 2011)[7]
gollark: ArmorOrSomething.getEntityWearingIt().waitIsThisAPlayer().getPlayerOrSomething().javaIsStupid()
gollark: According to my calculations, it's something for blocking radiation in an area.
gollark: Well, there's basically all the useless indirection.
gollark: Wow, Java code looks even worse than I thought.
gollark: It's a type of Swedish cuisine.

References
  1. "Sara Negri", 375 Humanists, Faculty of Arts, University of Helsinki, retrieved 2018-02-28
  2. University Personnel list, May 2020, retrieved 2020-05-16
  3. Curriculum vitae (PDF), September 2017, retrieved 2018-02-28
  4. Sara Negri at the Mathematics Genealogy Project
  5. Negri, Sara (2009), "Alone Amongst Men", Humboldt Kosmos, Alexander von Humboldt Foundation, retrieved 2018-02-28
  6. Reviews of Structural Proof Theory:
  7. Reviews of Proof Analysis:


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.