cv

Doctor of Philosophy (Ph.D.)

Carnegie Mellon University, Pittsburgh, PA, USA

Computer Science

Bachelor of Science (B.S.)

Carnegie Mellon University, Pittsburgh, PA, USA

Computer Science

Summer Research Associate 2023

Topos Institute

Advised by Dana Scott and David Spivak.

Summer Research Associate 2022

Topos Institute

Advised by Dana Scott.

Scientific Computing Intern in Predictive Healthcare Analytics

University of Maryland Center for Translational Medicine

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

Alan J. Perlis Graduate Student Teaching Award

Carnegie Mellon University School of Computer Science

The Perlis Award honors the graduate student who has shown the highest degree of excellence and dedication in teaching. The selection is based on student nominations, recommendation letters, and reviews, and is evaluated by the SCS Teaching Excellence Committee.

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.

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 of introductory teaching. The selection is based on student nominations, recommendation letters, and reviews, and is evaluated by the SCS Teaching Excellence Committee.