Skip to main content
Enter your keywords
Search
Menu
Secondary Menu
News
Math Intranet
FEEDBACK
Main navigation
About Us
Open About Us submenu
Diversity, Equity and Inclusion
Department Leadership
Outreach
Collaborations & Partnerships
Computing
Location & Directions
Code of Conduct
Feedback for Math department
Undergraduate
Open Undergraduate submenu
Major & Minor Requirements
Why Math?
Math for Non-Majors
Math Careers
The Major
Transfer Credits
Study Abroad
Undergraduate Research
Undergraduate Activities
Help, Mentoring, TAs
Trinity Ambassadors
PhD Program
Open PhD Program submenu
For Prospective Students
For Current Students
Graduate Program Faculty
Recent Graduates
Awards
Courses
Open Courses submenu
All Courses
Undergraduate Course Placements
Courses by Math Fields
Courses by Career and Interests
Foundational Courses for Graduate Students
Minicourses
People
Open People submenu
Primary Faculty
Secondary Faculty
Postdoctoral Fellows
Emeritus Faculty
Staff
Graduate Students
Faculty Honors & Awards
Research
Open Research submenu
Research Areas
Greater Mathematical Sciences
Selected Faculty Books
Publications
Research Grants
Seminars + Events
Open Seminars + Events submenu
Algebraic Geometry
Applied Math & Analysis
Colloquium
Combinatorics
Data Dialogue
Frontiers in Mathematics
Geometry & Topology
Gergen Lectures
Graduate-Faculty Talks
Machine Learning
Mathematical Biology
Number Theory
Probability
Professional Development
Public Lectures
String Theory
Triangle Topology
Undergraduate Events
Alumni
Open Alumni submenu
For Current Students
For Our Alumni
Giving
iiD Colloquium on Formalization of Mathematics
TBD
Monday, October 6, 12:00pm
-
Monday, October 6, 1:00pm
Speaker(s):
Kaiyu Wang
(Meta)
TBD
Gross 330
Add to Calendar
Google
Yahoo!
Outlook.com
Office.com
iCal / MS Outlook
About Us
Diversity, Equity and Inclusion
Department Leadership
Outreach
Collaborations & Partnerships
Computing
Location & Directions
Code of Conduct
Feedback for Math department
Undergraduate
Major & Minor Requirements
Math Major
Math Minor
Why Math?
Math for Non-Majors
Math Careers
The Major
Advising
Graduation with Distinction
Senior Theses
Independent Study
Non-research Independent Study
Research Independent Study
Awards & Scholarships
Julia Dale Prize
Mathematical Research Award
Karl Menger Award
Excellence in Community Service Award
Major Scholarships
Transfer Credits
Study Abroad
Undergraduate Research
Math+
Math+ 2025
Math+ 2024
Sum-of-norms clustering
The combinatorics of Legendrian surfaces
Computational exploration of geometric flows in G2-geometry
Formalization of mathematics
Interactions between fluids and elastic solids
Math+ 2023
Analysis of preconditioned stochastic gradient descent with non-convex loss
Moduli spaces of stable weighted hyperplane arrangements
Computing hyperbolic structures from link diagrams
Automated theorem proving and proof verification
Applications of Neumann-type nonlocal boundary condition
DOmath 2022
Spatial and Temporal Epidemic Prediction by Neural Networks
Structure and stability for Brascamp–Lieb inequalities
Mathematical questions arising from the COVID epidemic
Exploring minimal surfaces modulo p
Modeling the dynamics of filter fouling
Smoothness of subspace-valued maps
DOmath 2021
Holonomy of combinatorial surfaces
Characterizing emerging features in cell dynamics
Parameter interference in epidemiological models
Calculus of variations and notions of convexity
Topological insulators
Mathematical clairvoyant: computational inverse problems
DOmath 2020
DOmath 2019
DOmath 2018
DOmath 2017
Research Independent Study
Undergraduate Research Symposium
Data+
Other Summer Programs
PRUV
PRUV 2020 Reports
PRUV Fellows
Undergraduate Activities
AWM
The Lyceum
DUMU
Duke Math Meet
Math Competitions
Math Competition Honors
Help, Mentoring, TAs
Help Rooms
Peer Tutoring
Private Tutoring
Mentoring for Women
TA + Help Room applications
Trinity Ambassadors
PhD Program
For Prospective Students
Application Advice
How to Apply
For Current Students
Timeline and Requirements
Qualifying Requirement
Preliminary Exam
Dissertation & Defense
Teaching
Concurrent Degree Programs
Professional Development
Advice & Perspective
Summer Opportunities
Applying for Jobs
Fellowships and Grants
Organizations and Activities
Graduate Student Leadership
PhD Advising
Living in Durham
Graduate Program Faculty
Recent Graduates
Awards
Rudin Prize
L.P. Smith Award
Courses
All Courses
Undergraduate Course Placements
Enrollment Policies
Placement Guidelines
Math Advanced Placement Tests
Typical Initial Course Sequences
Calculus Self-Assessments
Frequently Asked Questions
Courses by Math Fields
Courses by Career and Interests
Foundational Courses for Graduate Students
Minicourses
People
Primary Faculty
Secondary Faculty
Postdoctoral Fellows
Emeritus Faculty
Staff
Graduate Students
Faculty Honors & Awards
Research
Research Areas
Algebra & Combinatorics
Analysis
Biological Modeling
Computational Mathematics
Geometry: Differential & Algebraic
Mathematical Physics
Number Theory
PDE & Dynamical Systems
Physical Modeling
Probability
Signals, Images and Data
Topology
Greater Mathematical Sciences
Selected Faculty Books
Publications
Graduate Student Publications
Research Grants
RTG: Analysis and Applications
People
Seminars
Undergraduate Research & Activities
NCM24: New Connections in Math 2024
Previous Projects
Past Undergrad Research Events
Graduate Research & Activities
RTG: Number Theory
TRIPODS@Duke
Seminars + Events
Algebraic Geometry
Applied Math & Analysis
Colloquium
Combinatorics
Data Dialogue
Frontiers in Mathematics
Geometry & Topology
Gergen Lectures
Past Gergen Lecture Speakers
Graduate-Faculty Talks
Machine Learning
Mathematical Biology
Number Theory
Probability
Professional Development
Public Lectures
String Theory
Triangle Topology
Undergraduate Events
Alumni
For Current Students
For Our Alumni
Assisting Duke Students
Giving
News
Math Intranet
FEEDBACK
