Program Years:
2020–2024
University:
Cornell University
Field of Study:
Computer Science
Advisor:
David Bindel
Degree(s):
PhD in Computer Science, Cornell University
BSc in Astrophysics, University of California Santa Cruz
BSc in Astrophysics, University of California Santa Cruz
Practicum Experience(s)
Sandia National Laboratories, California (2021)
Practicum Supervisor(s):
Geoffrey
Hulette
Practicum Title:
Formal Verification Methods for Symplectic Time Integration Schemes
Current Status
Status:
Graduate Student
Research Area:
Computer Science
Personal URL:
https://ak-2485.github.io/