Sara Negri

Sara Negri is a mathematician known for her work in various areas of mathematics, particularly in the field of logic and theoretical computer science. She has contributed to topics such as type theory, category theory, and the foundations of mathematics.