Program Years:
2020–2024
University:
Cornell University
Field of Study:
Computer Science
Advisor:
David Bindel
Degree(s):
Ph.D. Computer Science, Cornell University
B.S. Astrophysics, University of California Santa Cruz
B.S. 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:
Research Engineer at Galois
Research Area:
Computer Science
Personal URL:
https://ak-2485.github.io/