I’m Yue Chen1 / YC. I also go by lyc, yuecli, and cyclic online (nonexhaustive).
I’m a senior2 studying a mixture of Computer Science, Brain & Cognitive Sciences, and Mathematics at MIT. I’m interested in systems, artificial intelligence, and programming languages. I’ve done research on distributed systems in the MIT Parallel & Distributed Operating Systems Group, visual and auditory perception models in the Laboratory for Computational Audition, and verified compilers in Rocq (formerly Coq) under Prof. Adam Chlipala in the MIT Programming Languages & Verification Group.
This past summer, I was a software engineering intern at Jane Street. Previously, I worked on verified code generation with LLMs as a Software Development Engineer intern in Amazon Web Services’s Automated Reasoning Group. Before that, I built molecular dynamics systems and played with graph neural networks architectures as an intern at Genesis Therapeutics. Going back further, I made blockchains indexers at a Web3 startup (Gomu) and created a collaborative online whiteboard Loci with my good friend Wern at Tofu Apps.
In a past life, I pursued Informatics and Chemistry olympiads, researched on parallel SAT solvers [DOI] [PDF] and Parrondo’s Paradox, and built websites and robots at NUS High School of Mathematics and Science on the sunny island of Singapore.
Nowadays, besides coding3, I enjoy breaking, playing the drums, and juggling4. I also like to learn languages5, listen to copious amounts of music, read books & manga, hike, and travel. I used to spend more time drawing and playing the harmonica.
Man is condemned to be free — Jean-Paul Sartre
my first name has 2 words, and ‘Yue’ is pronounced /ye/ (/juːˈeɪ/ gets you pretty close) ↩︎
american-speak for soon-to-be 4th-year undergraduate student ↩︎
not really in any particular order, and certainly not all at once ↩︎
proud to share that my arsenal now includes diabolos, balls, and clubs ↩︎
speak to me in English, Chinese, and (will do my best) German! ↩︎