AGENDA
- Call to Order
- Chair's Remarks
- Announcements
- Math AI Lab - Alper
- Committee Reports
- Graduate Program - Pevtsova
- New Business
- Executive Session
- Adjournment
MINUTES
The regular meeting of the faculty of the Department of Mathematics was held in PDL C-38 at 3:30pm PST, June 3, 2025. Max Lieblich, Chair, presided over the meeting. Rose Choi was the recording secretary.
Chair's Remarks
Max Lieblich announced that Teaching Professor Jenni Taggart will be retiring this year. He thanked her for her constant, positive, and wonderful presence in the department.
The department’s summer revenue this year nearly matched our research cost recovery and we are still looking into new revenue sources. Given how streamlined and efficient our department already is in regards to student hours, teaching, etc., the next academic year should run as normal despite the on-going situation at the College.
Announcements
The Math AI lab was started in Spring 2022 as XLL (Experimental Lean Lab). It has now run 30-40 projects with undergrads through great mentorship from our grad students, especially Vasily Ilin, Leopold Mayer, and Herman Chau. Andy Heald has also been a wonderful faculty mentor. Several of these projects have led to Mathlib contributions with five of these projects having potential for publication. Madrona Venture Group has agreed to sponsor a Lean Hackathon in Fall 2025 with Leonardo de Moura, the creator of Lean, as a judge. We hope to appoint de Moura as an affiliate faculty member. We’d also like to offer more Math AI courses next academic year and are looking for instructors to teach “Intro to Formalization” and “Math and AI.”
Committee Reports
The future of the grad program is to have a target size of 60 students (Fall ‘25 projection is 94) with guaranteed graduate funding of no more than 5 years. One hope is to be able to offer one quarter of RA support once the target has been reached. Details for this plan are available on the department’s faculty intranet.
ADJOURNMENT
There being no new business, the meeting passed into executive session at 4:33pm.