Welcome!

I am a senior undergraduate student majoring in EECS at Massachusetts Institute of Technology. I work with Professor Adam Chlipala. My research interests include Formal Verification, Programming Languages, Performance Engineering.

Please click here for my CV.

contact

chuyues@mit.edu