Caption: Some recent mathematical scratchwork, drawings, and code output, and a picture of me.
I graduated summa cum laude with honors in mathematics from Muhlenberg College. While at Muhlenberg, I also took classes at Budapest Semesters in Mathematics and Lehigh University. I am grateful for the five-year support of a Presidential Fellowship at Rutgers.
Summer 2022: I will intern at the NASA Langley Research Center, working within the Formal Methods Research Program of the Safety-Critical Avionics Systems Branch.
Spring 2022: I accepted an NSF Graduate Research Fellowship.
I'm currently pivoting my research career towards topological data analysis and machine learning. I'm broadly interested in artificial intelligence (AI) alignment. Starting in September 2022, my research will be supported by the National Science Foundation Graduate Research Fellowship Program under Grant No. DGE-1842213.
Below is a selection of my previous projects from undergrad. In the past I have worked on interactive theorem-proving, number theory, hyperbolic geometry, graph theory, and mathematical modeling.
Jointly with Lisa Cenek, I wrote formal computer-verified proofs using the software Lean and formalized elementary results on Pythagorean triples. Here is a link to our GitHub.
At Muhlenberg College, I was advised by Byungchul Cha, and I worked with Heather Chapman and Chooka Weiss on instrinsic Diophantine approximation. Our paper, Lagrange Spectrum of a Circle Over the Eisensteinian Field, was published in Monatshefte für Mathematik. It is available from the journal for view only here and also available on arXiv.
At the DIMACS REU, I was advised by Alex Kontorovich, where I developed a computer algorithm using Python, Sage, and Mathematica to generate circle packings from combinatorial data. Here is more about that project.
At the Lafayette College REU, I was advised by Megan Cream, and I worked with Kathryn Beck and Lisa Cenek to characterize conditions that guarantee chorded cycle properties in claw-free graphs. We submitted a paper to the Australasian Journal of Combinatorics, which is currently under revision. Here is a poster that we presented at JMM.
At Muhlenberg College, I was advised by Erika Iyengar, and I analyzed growth rate data for a marine snail and determined probable lifespan and seasonal and site-specific growth patterns.
2021: Jointly with Linda McGuire and the officers of Muhlenberg's Chapter of the Association for Women in Mathematics (AWM), I helped organize the AWM Salon Series at Muhlenberg College. This series featured six talks by women mathematicians.
80,000 Hours is a great organization for learning about careers for positive impact.
Here is some advice about applying to REU programs, written by myself and the other OURFA2M2 organizers.
I help write a monthly newsletter with OURFA2M2. Subscribe to hear about career-building opportunities.
Here is some advice about doing your own organizing and DEI work in the mathematics community.
Feel free to contact me to ask about my experiences doing anything mentioned on this website.
Caption: Participants of the 2019 Lafayette College REU. Back row (l to r): Charles Kulick, Adam Hodapp, Alvaro Carbonero, Maxwell Auerbach, Kathryn Beck. Front row: Rebecca Whitman, Brittany Gelb, Beth Anne Castellano, Lisa Cenek, Karie Schmitz. The front row is holding Iñaki Minondo.
Talks and Presentations
The photo on the right is from talk #17 at Series on Exploring Combinatorics and Number Theory.
* Denotes invited.
Geometry of Neural Networks. 47th Annual New York State Regional Graduate Mathematics Conference; 2022 April; Syracuse, NY.
The Long Line. Five Minute Pizza Seminar Talk at Rutgers University; 2021 December; Piscataway, NJ.
* Complex Analysis in the Service of Combinatorics. Graduate Student Intercollegiate Mathematics Seminar at Lehigh University; 2021 November; Bethlehem, PA.
Interactive Theorem Proving with Lean. Rose-Hulman Institute of Mathematics Undergraduate Math Conference; 2021 April; Online.
Student-Led Academic Community Organizing. Rose-Hulman Institute of Mathematics Undergraduate Math Conference; 2021 April; Online.
Interactive Theorem Proving with Lean. EPaDel MAA Spring Section Meeting; 2021 April; Online.
Interactive Theorem Proving with Lean. Hudson River Valley Undergraduate Math Conference; 2021 April; Online.
* Student-Led Academic Community Organizing. University of Guam College of Natural and Applied Sciences STEM Conference; 2021 April; Online.
Interactive Theorem Proving with Lean. Mid-Atlantic Seminar on Numbers; 2021 March; Online.
Interactive Theorem Proving with Lean. Brown University’s Symposium on Undergraduate Research in the Math. Sciences; 2021 March; Online.
Interactive Theorem Proving with Lean. Series on Exploring Combinatorics and Number Theory; 2021 Jan; Online.
Integral Polyhedral Sphere Packings. Graduate Number Theory Seminar at Rutgers University; 2020 Dec; Online.
Integral Polyhedral Sphere Packings. Muhlenberg Summer Research Scholars Seminar; 2020 August; Online.
Chorded Pancyclic Properties in Claw-Free Graphs. Joint Math Meetings: AMS-MAA-SIAM Special Session on Research in Mathematics by Undergraduates and Students in Post-Baccalaureate Programs; 2020 Jan; Denver, CO.
Chorded Pancyclic Properties in Claw-Free Graphs. Joint Math Meetings: MAA Undergraduate Poster Session; 2020 Jan; Denver, CO.
The Transfer of Disciplinary Knowledge in Tutoring Sessions. International Writing Center Association; 2019 Oct; Columbus, OH.
Chorded Pancyclic Properties in Claw-Free Graphs. Series on Exploring Combinatorics and Number Theory; 2019 Oct; Allentown, PA.
Doing an REU and Chorded Pancyclic Properties in Claw-Free Graphs. Muhlenberg Mathematics Department Colloquium; 2019 Sept; Allentown, PA.
Chorded Pancyclic Properties in Claw-Free Graphs. Poster Session at the Celebration of Student Research and Scholarship at Muhlenberg College; 2019 Sept; Allentown, PA.
Extensions of Romik’s Dynamical System. Moravian College Undergraduate Mathematics Conference; 2018 Feb; Bethlehem, PA.