2026 — Now

New York, United States

Reporting Platform

2025 — 2025

New York, United States

Reporting Platform

2025 — 2025

New York, United States

Reporting & Budgeting Platform

2024 — 2024

Mountain View, California, United States

Institutional - International Exchange

2024 — 2024

Davidson, North Carolina, United States

Develop a compact parser in Rust to generate an SMT formula that corresponds to the correctness of VIPR certificates generated by exact SCIP

Columbia University

Davidson College

Hanoi-Amsterdam High School for the Gifted