Hey, I’m Yue Chen1 / YC. I work at Netic and recently graduated from MIT, where I researched distributed systems, perception, and formal verification while studying math, computer science, and the human brain.
I’m interested in artificial intelligence, systems, programming languages, and how we can build technology to improve real people’s lives.
Previously, I worked at Jane Street, Amazon Web Services’s Automated Reasoning Group, Genesis Therapeutics, and Gomu. I’ve published research on verified code generation with LLMs and improving parallel SAT solvers, worked on molecular dynamics systems and GNN architectures, and built a collaborative online whiteboard, Loci. I was a medallist at the International Olympiad in Informatics in a past life on the sunny island of Singapore.
Nowadays, I also enjoy2 breaking, juggling3, and playing the drums. I like learning languages4, listening to copious amounts of music, reading, hiking, and traveling.
Man is condemned to be free — Jean-Paul Sartre
my first name has 2 words; I don’t have a middle name. ‘Yue’ is pronounced /ye/ but /juːˈeɪ/ gets you pretty close ↩︎
not really in any particular order, and not all at once (yet) ↩︎
I’m most comfortable with balls, but I’m working on clubs, knives, and diabolos ↩︎
speak to me in English, Chinese, and (will do my best) German! ↩︎