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
my first name has 2 words, and ‘Yue’ is pronounced /ye/ (/juːˈeɪ/ gets you pretty close) ↩︎
american-speak for soon-to-be 3rd-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! ↩︎