Related Research Articles
Solomon Feferman was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for his contributions to the history of logic and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti-platonist stance.
Neil Immerman is an American theoretical computer scientist, a professor of computer science at the University of Massachusetts Amherst. He is one of the key developers of descriptive complexity, an approach he is currently applying to research in model checking, database theory, and computational complexity theory.
Yuval Peres is a mathematician known for his research in probability theory, ergodic theory, mathematical analysis, theoretical computer science, and in particular for topics such as fractals and Hausdorff measure, random walks, Brownian motion, percolation and Markov chain mixing times. He was born in Israel and obtained his Ph.D. at the Hebrew University of Jerusalem in 1990 under the supervision of Hillel Furstenberg. He was a faculty member at the Hebrew University and the University of California at Berkeley, and a Principal Researcher at Microsoft Research in Redmond, Washington. Peres has been accused of sexual harassment by several female scientists.
Bruce Alan ReedFRSC is a Canadian mathematician and computer scientist, a former Canada Research Chair in Graph Theory at McGill University. His research is primarily in graph theory. He is a distinguished research fellow of the Institute of Mathematics in the Academia Sinica, Taiwan, and an adjunct professor at the University of Victoria in Canada.
Erica Flapan is an American mathematician, the Lingurn H. Burkhead Professor of Mathematics at Pomona College. She is the aunt of sociologist Heather Schoenfeld
Brigitte Irma Servatius is a mathematician specializing in matroids and structural rigidity. She is a professor of mathematics at Worcester Polytechnic Institute, and has been the editor-in-chief of the Pi Mu Epsilon Journal since 1999.
Bonnie Gold is an American mathematician, mathematical logician, philosopher of mathematics, and mathematics educator. She is a professor emerita of mathematics at Monmouth University.
Jean Estelle Hirsh Rubin was an American mathematician known for her research on the axiom of choice. She worked for many years as a professor of mathematics at Purdue University. Rubin wrote five books: three on the axiom of choice, and two more on more general topics in set theory and mathematical logic.
María Gracia Manzano Arjona is a Spanish philosopher specializing in mathematical logic and model theory.
Ping Zhang is a mathematician specializing in graph theory. She is a professor of mathematics at Western Michigan University and the author of multiple textbooks on graph theory and mathematical proof.
Larisa Lvovna Maksimova is a Russian mathematical logician known for her research in non-classical logic.
Fioralba Cakoni is an American-Albanian mathematician and an expert on inverse scattering theory. She is a professor of mathematics at Rutgers University.
Gabriella Tarantello is an Italian mathematician specializing in partial differential equations, differential geometry, and gauge theory. She is a professor in the department of mathematics at the University of Rome Tor Vergata.
Anne C. Morel was an American mathematician known for her work in logic, order theory, and algebra. She was the first female full professor of mathematics at the University of Washington.
Katrin Tent is a German mathematician specializing in group theory, the symmetries of groups, algebraic model theory, and finite geometry. She is a professor of mathematics and mathematical logic at the University of Münster.
Maria Luisa Dalla Chiara Scabia is an Italian logician and philosopher of science, known for her work on quantum logic and quasi-set theory. She is a professor emerita at the University of Florence.
Ulrike Leopold-Wildburger is an Austrian mathematical economist, applied mathematician, and operations researcher. She is a professor emeritus at the University of Graz, where she headed the department of statistics and operations research, and is a former president of the Austrian Society of Operations Research.
Christel Baier is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Foundations of Computer Science in the Faculty of Computer Science. Baier is the editor-in-chief of Acta Informatica.
Kärin Nickelsen is a German historian of science whose works have included books on eighteenth-century botanical illustration, photosynthesis, and life-support systems for human spaceflight. She is a professor at Ludwig Maximilian University of Munich.
Jane Elizabeth Kister was a British and American mathematical logician and mathematics editor who served for many years as an editor of Mathematical Reviews.
References
- 1 2 "Sara Negri", 375 Humanists, Faculty of Arts, University of Helsinki, 6 September 2015, retrieved 2018-02-28
- ↑ University Personnel list, May 2020, retrieved 2020-05-16
- 1 2 3 Curriculum vitae (PDF), September 2017, retrieved 2018-02-28
- ↑ Sara Negri at the Mathematics Genealogy Project
- ↑ Negri, Sara (2009), "Alone Amongst Men", Humboldt Kosmos, Alexander von Humboldt Foundation, retrieved 2018-02-28
- ↑ "Sara Negri", Member profiles, Academia Europaea, retrieved 2020-10-08
- ↑ Reviews of Structural Proof Theory:
- ↑ Reviews of Proof Analysis:
- Yasuhara, M., zbMATH , Zbl 1247.03001
{{citation}}: CS1 maint: untitled periodical (link) - Indrzejczak, Andrzej B., Mathematical Reviews , MR 3136234
{{citation}}: CS1 maint: untitled periodical (link) - Poggiolesi, F. (2013), History and Philosophy of Logic, 34 (1): 98–99, doi:10.1080/01445340.2012.735805, S2CID 120172922
{{citation}}: CS1 maint: untitled periodical (link)
- Yasuhara, M., zbMATH , Zbl 1247.03001
