Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Jeremy Avigad
Professor
United StatesResearch Interests
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.
Explore related searches
About
Jeremy Avigad is a Professor at Carnegie Mellon University in the United States. His research areas include formal verification, mathematical inference, and the philosophy of mathematics, as evidenced by his recent publications. Notable works include "Certified Knowledge Compilation with Application to Formally Verified Model Counting" and "Reliability of mathematical inference." He also explores the implications of modularity in mathematics and the interplay between mathematics and its formal underpinnings.
Articles (11)
Year:
2026
Year:
2026
Year:
2025
Year:
2025
Year:
2024
Year:
2023
Year:
2022
Year:
2021
Year:
2021
Year:
2020
Year:
2020
Collaborators (2)
Marijn Heule
Associate Professor
Carnegie Mellon University
Matthew Ballard
Professor
University of South Carolina
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.