Summer Research Programs
Opportunities for students to engage in formal mathematics and AI research
Formal Mathematics Summer Institute
Applications OpenProgram Overview
The Formal Mathematics Summer Institute is an intensive 10-week program introducing undergraduate students to the principles of formal mathematics using the Lean theorem prover. Participants will work on research projects at the intersection of mathematics, computer science, and artificial intelligence.
Research Areas
- Formalization of mathematical theories
- Automated theorem proving
- Machine learning for mathematical reasoning
- Applications to scientific computing
Program Structure
Students will participate in morning lectures and afternoon research sessions, working closely with faculty mentors on collaborative projects. Weekly seminars by visiting researchers will expose students to cutting-edge work in the field.
Apply NowAI for Science Graduate Summer School
In ProgressProgram Overview
This advanced summer school brings together graduate students interested in applying artificial intelligence techniques to scientific problems. The program emphasizes formal verification of AI systems used in scientific applications.
Current Projects
- Verified neural networks for physical simulations
- Formal proofs of ML algorithm properties
- Interactive theorem proving for scientific discovery
- Formalization of physical theories in Lean
Program Highlights
Participants are currently working with research scientists from leading universities and industry labs. The program includes workshops on advanced topics in formal methods, deep learning, and scientific computing.
View Current ResearchLean for Undergraduates Workshop
Coming SoonWorkshop Overview
This two-week online workshop introduces undergraduate students to the Lean theorem prover and its applications in mathematics and computer science. No prior experience with formal methods is required.
Learning Outcomes
- Basic proficiency in Lean programming
- Understanding of formal proof techniques
- Exposure to research applications
- Preparation for advanced study
Workshop Format
Daily online sessions will include lectures, guided exercises, and group projects. Participants will have access to mentors throughout the workshop and will complete a small formalization project.
Get NotifiedHost a Summer Program
Interested in hosting a summer research program at your institution? We provide resources, curriculum materials, and mentorship support for universities looking to establish formal mathematics and AI research programs for students.
Curriculum Support
Access to established teaching materials, project ideas, and evaluation frameworks.
Mentor Training
Training for faculty and graduate students on effective mentorship in formal methods research.
Funding Guidance
Information on potential funding sources and proposal development assistance.