
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/
Annual Program Review Abstracts
Howes Scholar Talk
:
Elevating Correctness in Scientific Computing: A Formal Methods Perspective
(2025
)