cv
🎓 Education
-
2022.08 - Present -
2018.08 - 2022.05
💼 Work
-
2023.06 - 2023.07 -
2022.06 - 2022.08 -
2018.11 - 2019.10 Scientific Computing Intern in Predictive Healthcare Analytics
University of Maryland Center for Translational Medicine
💡 Projects
- 2021 - Present
Calf: Cost-Aware Logical Framework
Dependent type theory for verifying the cost and behavior of algorithms and data structures.
- a phase distinction to mediate cost and behavior
- upper bounds on effectful programs using program inequality
- amortized analysis of data structures
🏆 Awards
- 2024.04
Graduate Research Fellowship: Honorable Mention
Jane Street
The Jane Street Graduate Research Fellowship (GRF) supports exceptional doctoral students currently pursuing a PhD in computer science, mathematics, physics, or statistics.
- 2022.05
Mark Stehlik Introductory and Service Teaching Award
Carnegie Mellon University School of Computer Science
The Stehlik Award acknowledges those bringing their best and indispensible efforts to the task. The selection is based on student nominations, recommendation letters, and reviews, and is evaluated by the SCS Teaching Excellence Committee.