Welcome

Research

Papers

Books

Reviews

Talks

Outreach

Teaching

Students

Outreach

Media

I was featured in an article in the New York Times: I have been quoted in articles for the general public, often about the impact of AI and formal methods on mathematics. Several of my writings are aimed at a general audience. I am proud of a talk I gave at the National Museum of Mathematics in New York City: I was once interviewed by Richard Marshall for his 3:16 collection.

Meetings and Workshops

These are some of the meetings and workshops I have organized or co-organized.

Policy

In March, 2025, I participated in an NSF workshop on the future of AI and the mathematical and physical sciences, and I contributed to a whitepaper (still in preparation).

In July, 2023, I participated in a National Academies workshop on AI to assist mathematical reasoning, and I served as a reviewer of the associated report.

Other

With Teddy Seidenfeld, I founded the Carnegie Mellon Summer School in Logic and Formal Epistemology, and I served as co-director from 2006-2010.

I used to maintain a web page listing resources for using formal methods in education.

When I was in graduate school, I taught a summer course for high school students called An intuitive approach to higher mathematics, with the Academic Talent Development Program.