I like Programming Languages, Functional Programming, and Formal Verification!

Neovim Enthusiast

Advent of Code Enjoyer (Global Rank 238 on 2023, 489 on 2024)

History (reverse chronological order)

• Jane Street SWE, working with OCaml!

• Graduated Caltech, studying Computer Science and Math

• Jane Street SWE Intern (summer)

• Researching Active Learning and Bayesian Optimization of Molecular Properties

  • Reisman Group and Yisong Yue Lab at Caltech

• Amazon SWE Intern (summer)

• Prior Research in Simulating Fluid Dynamics of CD8+ T-Cells with Allard Lab at UC Irvine