Kayla Millender - Resume
Kayla Millender, Ph.D.
Mathematician | Algebraic Geometry | Proof Development | Theoretical Analysis
United States | Cambridge, MA | (617) 555-0142 | |
linkedin.com/in/kaylamillender | scholar.google.com/citations?user=kmillender
Research Profile
Ph.D. mathematician specializing in algebraic geometry, with a record of peer-reviewed
research on moduli spaces, birational geometry, and derived categories. Skilled at
developing, critiquing, and refining rigorous proofs, identifying structural patterns across
arguments and formalizing them into reusable specifications and frameworks.
Experienced collaborating with specialized research teams and explaining highly abstract
ideas clearly to both technical and non-specialist audiences.
Key Skills
Algebraic Geometry: Schemes and sheaf cohomology, moduli spaces, birational
geometry, intersection theory, derived categories, deformation theory
Mathematical Proof Development: Constructing, critiquing, and refining long-form
proofs; identifying gaps, hidden assumptions, and simplifications
Theoretical Analysis: Building and stress-testing theoretical frameworks; abstraction
and generalization of recurring proof structures
Advanced Mathematics: Commutative and homological algebra, category theory,
algebraic topology, number theory, complex geometry
Formalization and Specification: Converting proof patterns into precise, reusable
specifications; familiarity with Lean 4 and proof assistants
Communication: Technical writing in LaTeX, conference and seminar talks, translating
abstract concepts for non-specialist teams
Computational Tools: Macaulay2, SageMath, Python, Magma, LaTeX / TikZ
Page 1 of 4
Kayla Millender, Ph.D.
Mathematician | Algebraic Geometry | Proof Development | Theoretical Analysis
United States | Cambridge, MA | (617) 555-0142 | |
linkedin.com/in/kaylamillender | scholar.google.com/citations?user=kmillender
Research Profile
Ph.D. mathematician specializing in algebraic geometry, with a record of peer-reviewed
research on moduli spaces, birational geometry, and derived categories. Skilled at
developing, critiquing, and refining rigorous proofs, identifying structural patterns across
arguments and formalizing them into reusable specifications and frameworks.
Experienced collaborating with specialized research teams and explaining highly abstract
ideas clearly to both technical and non-specialist audiences.
Key Skills
Algebraic Geometry: Schemes and sheaf cohomology, moduli spaces, birational
geometry, intersection theory, derived categories, deformation theory
Mathematical Proof Development: Constructing, critiquing, and refining long-form
proofs; identifying gaps, hidden assumptions, and simplifications
Theoretical Analysis: Building and stress-testing theoretical frameworks; abstraction
and generalization of recurring proof structures
Advanced Mathematics: Commutative and homological algebra, category theory,
algebraic topology, number theory, complex geometry
Formalization and Specification: Converting proof patterns into precise, reusable
specifications; familiarity with Lean 4 and proof assistants
Communication: Technical writing in LaTeX, conference and seminar talks, translating
abstract concepts for non-specialist teams
Computational Tools: Macaulay2, SageMath, Python, Magma, LaTeX / TikZ
Page 1 of 4
