I'm currently building agent and search systems at Auctor.
Previously, I studied applied math and computer science at Johns Hopkins, where I was mostly interested in NLP, probabilistic ML, and computer systems.
I was fortunate to be advised by Jason Eisner,
where we worked on various {architecture, systems}-level methods for efficient LLM inference.
Other fun things I worked on independently:
Some industry gigs:
- 🍎 summer 2024 @ Apple, ads tracking and attribution
- 🔒 summer 2023 @ AWS, formal methods for cloud security