I am a software engineer at Palantir Technologies, on the Foundry Ontology team.
Before that, I spent four wonderful years at Columbia University, where I completed my bachelors degree in Computer Science and Mathematics (Columbia College '24!).
My technical interests are systems programming, programming language theory, and formal methods & verification!
If you want to chat about anything, you can reach me at cjy2129 [at] gmail [dot] com!