Welcome

Research

Papers

Books

Reviews

Talks

Teaching

Students

Jeremy Avigad

Welcome to my home page. I am a professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University. I am the director of the Hoskinson Center for Formal Mathematics, and I am associated with Carnegie Mellon's interdisciplinary program in Pure and Applied Logic. You can read my CV, see a picture of me, or see another one.

Research Interests

Mathematical logic, formal methods in mathematics, history and philosophy of mathematics.

Contact

Office: Baker Hall 135E
E-mail: avigad@cmu.edu

Postal Address

Department of Philosophy
Baker Hall 161
Carnegie Mellon University
Pittsburgh, PA 15213

Announcements

I will give an invited talk, Automated reasoning for mathematics, at IJCAR in July.

I will be at the Hausdorff Institute of Mathematics trimester program, Prospects of formal mathematics, in June and July.

My book, Mathematical Logic and Computation, has been published. You can read the preface and table of contents, and you can order it on Amazon or find it online. A PDF version may be available through your university library.

I have been working on verification of blockchain applications with colleagues at StarkWare. We have made public a proof-producing version of their compiler for the Cairo language, as well as a verification of code used to validate cryptographic signatures.

You can find other activities and events listed on the Hoskinson Center web pages.

I serve on the board of directors of the Lean Focused Research Organization.

I am on the editorial boards of the Journal of Automated Reasoning, Logical Methods in Computer Science, and the Journal of Symbolic Logic. For the types of JSL papers I will handle, see here.