I鈥檝e been flying airliners in flight simulators since I was six, teaching myself new aircraft types from the manuals. Understanding a complex system enough to model how it behaves, and where it breaks, is what pulls me toward quantitative research. I鈥檓 a CMU MSCF student with a background in math, statistics, and AI. I interned twice at the Federal Reserve Board, where I built LLM tools still used for economic research, and I co-authored a published paper on where LLMs fall short at forecasting. That paper got me hooked on creating trustworthy research tools. Now I pair asset pricing and portfolio optimization with proofs in Lean 4, a proof assistant, so a model鈥檚 key properties hold for every input, not just a list of test cases. These proofs act as collateral behind a team鈥檚 trust. Building that trust in a team is vital to me. I learned how I like to work in high school music: conducting at Carnegie Hall, I workshopped the score with the musicians rather than dictating it. This is still how I picture a research team: building something none of us could reach alone. If that鈥檚 the kind of team you鈥檙e building, I鈥檇 love to talk.
