I am a first-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 interests are in scientific computing and formal methods. Prior to starting my PhD, I worked on axiomatic systems for intuitionistic geometry with the NuPRL group.

Recently

• Fall 2020
  • I will be working with the formal methods group at Sandia National Lab (CA) during the summer of 2021 to develop formal frameworks for the analysis of high-performance numerical methods.
• 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.