Sara Negri

Sara Negri é uma proeminente matemática e lógica italiana, nascida em Pádua em 21 de janeiro de 1967. Reconhecida por suas contribuições em teoria da prova e lógica matemática, Negri lecionou na Universidade de Helsinque e atualmente é professora de lógica matemática na Universidade de Gênova. Sua obra, frequentemente em colaboração com Jan von Plato, inclui títulos seminais como "Structural Proof Theory" e "Proof Analysis: A Contribution to Hilbert's Last Problem". A pesquisa de Sara Negri explora temas como lógica construtivista, lógica filosófica e lógicas não clássicas, consolidando sua reputação na área acadêmica, o que a levou a ser eleita para a Academia Europaea em 2018.