I am a second-year PhD student and Department of Energy Computational Science Graduate Fellow working under the supervision of David Bindel in the Department of Computer Science at Cornell University. My research lies at the intersection of formal methods, numerical analysis, and scientific computing.

Recently

• Fall 2021
  • My work with Silke Glas, Misha Padidar, and David Bindel on Global Stochastic Optimization of Stellarator Coil Configurations is in submission.
  • I am joining the Digital Foundations & Mathematics Department at Sandia National Lab (California) as a year round intern.
  • I have a new paper on a machine-checked direct proof of the Steiner-Lehmus theorem in submission.
• Summer 2021
  • I completed a summer practicum in the Digital Foundations & Mathematics Department at Sandia National Lab, where I worked on verification frameworks for time integration schemes in Coq.
• Summer 2020
  • I am attending the Joint PPPL-Simons Summer School on Stellarator Optimization.
  • I am teaching CS 1110: Introduction to Computing Using Python at Cornell.
• Spring 2020
  • I’ve been awarded the DOE Computational Science Graduate Fellowship and will begin my doctoral studies at Cornell in the fall of 2020.