Jeremy Avigad is a professor of philosophy at Carnegie Mellon University. He received a B.A. in mathematics from

Harvard University Harvard University is a private Ivy League research university in Cambridge, Massachusetts. Founded in 1636 as Harvard College and named for its first benefactor, the Puritan clergyman John Harvard, it is the oldest institution of high ...

in 1989, and a Ph.D. in mathematics from the

University of California at Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California) is a public land-grant research university in Berkeley, California. Established in 1868 as the University of California, it is the state's first land-grant uni ...

in 1995 under the supervision of Jack Silver. He has contributed to the areas of

mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...

and

foundations Foundation may refer to: * Foundation (nonprofit), a type of charitable organization ** Foundation (United States law), a type of charitable organization in the U.S. ** Private foundation, a charitable organization that, while serving a good cause ...

formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal met ...

and

interactive theorem proving In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor ...

, and the philosophy and

history of mathematics The history of mathematics deals with the origin of discoveries in mathematics and the mathematical methods and notation of the past. Before the modern age and the worldwide spread of knowledge, written examples of new mathematical developments ...

. He became Director of the Hoskinson Center for Formal Mathematics at Carnegie Mellon University after

Charles Hoskinson Charles Hoskinson is an American entrepreneur who is a co-founder of the blockchain engineering company Input Output Global, Inc. (formerly IOHK), and the Cardano blockchain platform, and was a co-founder of the Ethereum blockchain platform. E ...

donated $20 Million in September 2021 to establish it.

References

20th-century American mathematicians 21st-century American mathematicians American logicians Living people Philosophers of mathematics Carnegie Mellon University faculty Harvard College alumni 1968 births UC Berkeley College of Letters and Science alumni {{US-philosopher-stub