Jeremy Avigad is a professor of philosophy and a professor of mathematical sciences at

Carnegie Mellon University 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 Institu ...

. He received a B.A. in mathematics from

Harvard University Harvard University is a Private university, private Ivy League research university in Cambridge, Massachusetts, United States. Founded in 1636 and named for its first benefactor, the History of the Puritans in North America, Puritan clergyma ...

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, United States. Founded in 1868 and named after the Anglo-Irish philosopher George Berkele ...

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

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

and

foundations Foundation(s) or The Foundation(s) may refer to: Common uses * Foundation (cosmetics), a skin-coloured makeup cream applied to the face * Foundation (engineering), the element of a structure which connects it to the ground, and transfers loads f ...

formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal ver ...

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

, and the

philosophy Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...

and

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

. He became Director of the Hoskinson Center for Formal Mathematics at

after cryptocurrency entrepreneur

Charles Hoskinson Charles Hoskinson (born 1987) is an Americans, American Businessperson, entrepreneur who is a co-founder of the blockchain engineering company IOHK, and the Cardano (blockchain platform), Cardano blockchain platform, and was a co-founder of the ...

donated $20 million in September 2021 to establish it.

References

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