Jeremy Avigad | |
---|---|
Born | |
Era | Contemporary philosophy |
Region | Western philosophy |
School | Analytic |
Doctoral advisor | Jack Silver |
Main interests | Logic, philosophy of mathematics, proof theory, formal verification |
Website | www |
Jeremy Avigad is a professor of philosophy and a professor of mathematical sciences at Carnegie Mellon University.
He received a B.A. in mathematics from Harvard University in 1989, and a Ph.D. in mathematics from the University of California at Berkeley in 1995 under the supervision of Jack Silver. [1] He has contributed to the areas of mathematical logic and foundations, formal verification and interactive theorem proving, and the philosophy and history of mathematics. [2] He became Director of the Hoskinson Center for Formal Mathematics at Carnegie Mellon University after cryptocurrency entrepreneur Charles Hoskinson donated $20 million in September 2021 to establish it. [3] [4]
Carnegie Mellon University (CMU) is a private research university in Pittsburgh, Pennsylvania, United States. The institution was established in 1900 by Andrew Carnegie as the Carnegie Technical Schools. In 1912, it became the Carnegie Institute of Technology and began granting four-year degrees. In 1967, it became Carnegie Mellon University through its merger with the Mellon Institute of Industrial Research, founded in 1913 by Andrew Mellon and Richard B. Mellon and formerly a part of the University of Pittsburgh.
Charles Matthew "Chuck" Geschke was an American businessman and computer scientist best known for founding the graphics and publishing software company Adobe Inc. with John Warnock in 1982, with whom he also co-created the PDF document format.
The School of Computer Science (SCS) at Carnegie Mellon University in Pittsburgh, Pennsylvania, US is a school for computer science established in 1988. It has been consistently ranked among the best computer science programs over the decades. As of 2024 U.S. News & World Report ranks the graduate program as tied for No. 1 with Massachusetts Institute of Technology, Stanford University and University of California, Berkeley.
Dabbala Rajagopal "Raj" Reddy is an Indian-American computer scientist and a winner of the Turing Award. He is one of the early pioneers of artificial intelligence and has served on the faculty of Stanford and Carnegie Mellon for over 50 years. He was the founding director of the Robotics Institute at Carnegie Mellon University. He was instrumental in helping to create Rajiv Gandhi University of Knowledge Technologies in India, to cater to the educational needs of the low-income, gifted, rural youth. He was the founding chairman of International Institute of Information Technology, Hyderabad. He is the first person of Asian origin to receive the Turing Award, in 1994, known as the Nobel Prize of Computer Science, for his work in the field of artificial intelligence.
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.
Edward Fredkin was an American computer scientist, physicist and businessman who was an early pioneer of digital physics.
David J. Farber is a professor of computer science, noted for his major contributions to programming languages and computer networking who is currently the distinguished professor and co-director of Cyber Civilization Research Center at Keio University in Japan. He has been called the "grandfather of the Internet".
Lenore Carol Blum is an American computer scientist and mathematician who has made contributions to the theories of real number computation, cryptography, and pseudorandom number generation. She was a distinguished career professor of computer science at Carnegie Mellon University until 2019 and is currently a professor in residence at the University of California, Berkeley. She is also known for her efforts to increase diversity in mathematics and computer science.
Frank Pfenning is a German-American professor of computer science, adjunct professor in philosophy, and head of the Computer Science Department at Carnegie Mellon University.
Randal E. Bryant is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Bryant has been a faculty member at Carnegie Mellon University since 1984. He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014. Dr. Bryant retired and became a Founders University Professor Emeritus on June 30, 2020.
The Zanvyl Krieger School of Arts & Sciences (KSAS) is an academic division of the Johns Hopkins University, a private research university in Baltimore, Maryland. The school is located on the university's Homewood campus. It is the core of Johns Hopkins, offering comprehensive undergraduate education and graduate training in the humanities, natural sciences, and social sciences.
Randolph Frederick Pausch was an American educator, a professor of computer science, human–computer interaction, and design at Carnegie Mellon University (CMU) in Pittsburgh, Pennsylvania.
Edmund Melson Clarke, Jr. was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award.
Subra Suresh is an Indian-born American engineer, materials scientist, and academic leader. He is currently Professor at Large at Brown University and Vannevar Bush Professor of Engineering Emeritus at the Massachusetts Institute of Technology (MIT). He was Dean of the School of Engineering at MIT from 2007 to 2010 before being appointed as Director of the National Science Foundation (NSF) by Barack Obama, where he served from 2010 to 2013. He was the president of Carnegie Mellon University (CMU) from 2013 to 2017. Between 2018 and 2022, he was the fourth President of Singapore's Nanyang Technological University (NTU), where he was also the inaugural Distinguished University Professor.
Madhavi Vuppalapati is founder, CEO, and Chairperson of Prithvi Information Solutions (“Prithvi”). She is married and has one child and lives in Seattle, Washington. A graduate of Carnegie Mellon University in Pittsburgh, Madhavi holds a master's degree in Computational Mechanics. Madhavi founded the telecom and IT services multinational Prithvi in 1998, and together with her brother Satish Vuppalapati, took the company public in India 7 years later. She is the only female CEO amongst the top 50 Indian IT and telecom services companies.
Kathleen M. Carley is an American computational social scientist specializing in dynamic network analysis. She is a professor in the School of Computer Science in the Carnegie Mellon Institute for Software Research at Carnegie Mellon University and also holds appointments in the Tepper School of Business, the Heinz College, the Department of Engineering and Public Policy, and the Department of Social and Decision Sciences.
Richard Zach is a Canadian logician, philosopher of mathematics, and historian of logic and analytic philosophy. He is currently Professor of Philosophy at the University of Calgary.
S. Thomas Emerson, Ph.D., also known as Tom, is an American serial entrepreneur, angel investor and educator. Emerson co-founded three technology companies, Periphonics Corporation, Syntellect Inc. and Xantel Corporation. Emerson served as CEO of each company.
Charles Hoskinson is an American entrepreneur who is a co-founder of the blockchain engineering company Input Output Global, Inc., and the Cardano blockchain platform, and was a co-founder of the Ethereum blockchain platform.
...said Dr. Avigad, who is the director of the Hoskinson Center for Formal Mathematics (funded by the crypto entrepreneur Charles Hoskinson)...