Jeremy Avigad

Last updated
Jeremy Avigad
Jeremy Avigad December 2021 (cropped).jpg
Avigad in 2021
Born (1968-01-09) January 9, 1968 (age 56)
Era Contemporary philosophy
Region Western philosophy
School Analytic
Doctoral advisor Jack Silver
Main interests
Logic, philosophy of mathematics, proof theory, formal verification
Website www.andrew.cmu.edu/user/avigad/

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]

Related Research Articles

<span class="mw-page-title-main">Carnegie Mellon University</span> Private research university in Pittsburgh, Pennsylvania, U.S.

Carnegie Mellon University (CMU) is a private research university in Pittsburgh, Pennsylvania. 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.

<span class="mw-page-title-main">Charles Geschke</span> American computer scientist and co-founder of Adobe (1939–2021)

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.

<span class="mw-page-title-main">Carnegie Mellon School of Computer Science</span> School for computer science in the United States

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 top computer science programs over the decades. As of 2022 U.S. News & World Report ranks the graduate program as tied for second with Stanford University and University of California, Berkeley. It is ranked second in the United States on Computer Science Open Rankings, which combines scores from multiple independent rankings.

<span class="mw-page-title-main">Raj Reddy</span> Indian-American computer scientist (born 1937)

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.

<span class="mw-page-title-main">Solomon Feferman</span> American philosopher and mathematician

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.

<span class="mw-page-title-main">Edward Fredkin</span> American physicist and computer scientist (1934–2023)

Edward Fredkin was an American computer scientist, physicist and businessman who was an early pioneer of digital physics.

<span class="mw-page-title-main">David J. Farber</span> American computer scientist currently in Japan

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".

<span class="mw-page-title-main">Lenore Blum</span> USA computer scientist and mathematician

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.

<span class="mw-page-title-main">Richard A. Tapia</span> American mathematician

Richard Alfred Tapia is an American mathematician and University Professor at Rice University in Houston, Texas, the university's highest academic title. In 2011, President Obama awarded Tapia the National Medal of Science. He is currently the Maxfield and Oshman Professor of Engineering; Associate Director of Graduate Studies, Office of Research and Graduate Studies; and Director of the Center for Excellence and Equity in Education at Rice University.

<span class="mw-page-title-main">Randal Bryant</span> American computer scientist (born 1952)

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.

<span class="mw-page-title-main">Randy Pausch</span> American professor of computer science, human-computer interface and design (1960-2008)

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.

<span class="mw-page-title-main">Edmund M. Clarke</span> American computer scientist (1945–2020)

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.

<span class="mw-page-title-main">Subra Suresh</span> Indian-born American academic (born 1956)

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.

<span class="mw-page-title-main">Kathleen Carley</span> American social scientist

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.

<span class="mw-page-title-main">Charles Hoskinson</span> American cryptocurrency entrepreneur

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.

<span class="mw-page-title-main">Carnegie Mellon University Africa</span> University in Rwanda

Carnegie Mellon University Africa, in Kigali, Rwanda, is a global location of Carnegie Mellon University. CMU-Africa offers master's degrees in Information Technology, Electrical and Computer Engineering, and Engineering Artificial Intelligence. CMU-Africa is part of the Carnegie Mellon College of Engineering. The College of Engineering is top-ranked. In U.S. News & World Report's 2024 graduate rankings, the College of Engineering was ranked #5.

References

  1. Mathematics Genealogy Project
  2. Jeremy Avigad's official website at Carnegie Mellon University
  3. "Carnegie Mellon Receives $20 Million to Establish Hoskinson Center for Formal Mathematics in Dietrich College". Carnegie Mellon University (Press release). September 2021. Retrieved 2021-09-27.
  4. Roberts, Siobhan (2 July 2023). "AI Is coming for mathematics, too". New York Times. Retrieved 26 March 2024. ...said Dr. Avigad, who is the director of the Hoskinson Center for Formal Mathematics (funded by the crypto entrepreneur Charles Hoskinson)...{{cite news}}: CS1 maint: url-status (link)