Stephen Arthur Cook, is an American-Canadian computer scientist and mathematician who has made major contributions to the fields of complexity theory and proof complexity. He is a university professor at the University of Toronto, Department of Computer Science and Department of Mathematics.
Dana Stewart Scott is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory.
The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university, college, and high school teachers; graduate and undergraduate students; pure and applied mathematicians; computer scientists; statisticians; and many others in academia, government, business, and industry.
Leon Albert Henkin was an American logician, whose works played a strong role in the development of logic, particularly in the theory of types. He was an active scholar at the University of California, Berkeley, where he made great contributions as a researcher, teacher, as well as in administrative positions. At this university he directed, together with Alfred Tarski, the Group in Logic and the Methodology of Science, from which many important logicians and philosophers emerged. He had a strong sense of social commitment and was a passionate defensor of his pacifist and progressive ideas. He took part in many social projects aimed at teaching mathematics, as well as projects aimed at supporting women's and minority groups to pursue careers in mathematics and related fields. A lover of dance and literature, he appreciated life in all its facets: art, culture, science and, above all, the warmth of human relations. He is remembered by his students for his great kindness, as well as for his academic and teaching excellence.
The Simons Laufer Mathematical Sciences Institute (SLMath), formerly the Mathematical Sciences Research Institute (MSRI), is an independent nonprofit mathematical research institution on the University of California campus in Berkeley, California. It is widely regarded as a world leading mathematical center for collaborative research, drawing thousands of leading researchers from around the world each year.
Florence Jessie Collinson MacWilliams was an English mathematician who contributed to the field of coding theory, and was one of the first women to publish in the field. MacWilliams' thesis "Combinatorial Problems of Elementary Group Theory" contains one of the most important combinatorial results in coding theory, and is now known as the MacWilliams Identity.
Andrew Mattei Gleason (1921–2008) was an American mathematician who made fundamental contributions to widely varied areas of mathematics, including the solution of Hilbert's fifth problem, and was a leader in reform and innovation in mathematics teaching at all levels. Gleason's theorem in quantum logic and the Greenwood–Gleason graph, an important example in Ramsey theory, are named for him.
Evelyn Boyd Granville was the second African-American woman to receive a Ph.D. in mathematics from an American university; she earned it in 1949 from Yale University. She graduated from Smith College in 1945. She performed pioneering work in the field of computing.
Lee Alexander Lorch was an American mathematician, early civil rights activist, and communist. His leadership in the campaign to desegregate Stuyvesant Town, a large housing development on the East Side of Manhattan, helped eventually to make housing discrimination illegal in the United States but also resulted in Lorch losing his own job twice. He and his family then moved to the Southern United States where he and his wife, Grace Lorch, became involved in the civil rights movement there while also teaching at several Black colleges. He encouraged black students to pursue studies in mathematics and mentored several of the first black men and women to earn PhDs in mathematics in the United States. After moving to Canada as a result of McCarthyism, he ended his career as professor emeritus of mathematics at York University in Toronto, Ontario.
Martha Jochnowitz Siegel is an American applied mathematician, probability theorist and mathematics educator who served as the editor of Mathematics Magazine from 1991 to 1996. In 2017 she won the Yueh-Gin Gung and Dr. Charles Y. Hu Award for Distinguished Service of the Mathematical Association of America for "her remarkable leadership in guiding the national conversation on undergraduate mathematics curriculum". She was a faculty member in the mathematics department of Towson University from 1971 until 2015, when she became a professor emerita.
Alice Turner Schafer was an American mathematician. She was one of the founding members of the Association for Women in Mathematics in 1971.
Joseph A. Gallian is an American mathematician, the Morse Alumni Distinguished University Professor of Teaching in the Department of Mathematics and Statistics at the University of Minnesota Duluth.
Snap! is a free, block-based educational graphical programming language and online community allowing students to explore, create, and re-mix interactive animations, games, stories, and more, while learning about mathematical and computational ideas. While inspired by Scratch, Snap! has many advanced features. The Snap! editor, and programs created in it, are web applications that run in the browser without requiring installation.
Anneli Cahn Lax was an American mathematician, who was known for being an editor of the Mathematics Association of America's New Mathematical Library Series, and for her work in reforming mathematics education with the inclusion of language skills. Anneli Lax received a bachelor's degree in 1942 from Adelphi University and her doctorate in 1956. She was a professor of mathematics at New York University's Courant Institute. She was married to the mathematician, Peter Lax.
Kenneth Allen Ross is a mathematician and an emeritus professor of mathematics at the University of Oregon. He served as an associate editor for Mathematics Magazine. He was president of the Mathematical Association of America from 1995 to 1996. He is a recipient of the Charles Y. Hu Award for distinguished service to mathematics.
Lida Baker Kittrell Barrett was an American mathematics professor and administrator. She served on many committees and boards and contributed to mathematics, mathematics education, and increasing the participation of members of underrepresented groups in mathematics. She served as president of the Mathematical Association of America (MAA) in 1989 and 1990.
Gerald Lee Alexanderson (1933–2020) was an American mathematician. He was the Michael & Elizabeth Valeriote Professor of Science at Santa Clara University, and in 1997–1998 was president of the Mathematical Association of America. He was also president of The Fibonacci Association from 1980 to 1984.
Robert Eugene Megginson is an American mathematician, the Arthur F. Thurnau Professor of Mathematics at the University of Michigan. His research concerns functional analysis and Banach spaces; he is the author of the textbook An Introduction to Banach Space Theory.
Deanna Haunsperger is an American mathematician and Professor of Mathematics at Carleton College. She was the president of the Mathematical Association of America for the 2017–2018 term. She co-created and co-organized the Carleton College Summer Mathematics Program for Women, which ran every summer from 1995 to 2014.
Deborah Tepper Haimo (1921–2007) was an American mathematician who became president of the Mathematical Association of America (MAA). Her research concerned "classical analysis, in particular, generalizations of the heat equation, special functions, and harmonic analysis".
