About me

I’m Yue Chen1 / YC. I also go by lyc, yuecli, and cyclic online (nonexhaustive).

I’m a rising junior2 studying a mixture of Computer Science, Brain & Cognitive Sciences, and Mathematics at MIT, where I’m researching on verified compilers in Coq under Prof. Adam Chlipala in the MIT Programming Languages & Verification Group.

I’m currently a Software Development Engineer intern in Amazon Web Services' Automated Reasoning Group. Previously, I built molecular dynamics systems and played with graph neural networks architectures as an intern at Genesis Therapeutics. Before that, I made blockchains indexers at 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 juggling4, playing the drums, and breaking. 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


  1. my first name has 2 words, and ‘Yue’ is pronounced /ye/ (/juːˈeɪ/ gets you pretty close) ↩︎

  2. american-speak for soon-to-be 3rd-year undergraduate student ↩︎

  3. not really in any particular order, and certainly not all at once ↩︎

  4. proud to share that my arsenal now includes diabolos, balls, and clubs ↩︎

  5. speak to me in English, Chinese, and (will do my best) German! ↩︎