Mike He

@ University of Washington

Email: echo ZGg2M0Bjcy53YXNoaW5ndG9uLmVkdQo= | base64 -d

About

Hello! I'm Mike He, a junior student studying at Paul G. Allen School of Computer Science & Engineering at the University of Washington. My interested field of study is Programming Languages, Formal Verification, Deep Learning Compilers and Program Synthesis. I also like classical music, and I've been playing the violin for 17 years.

See More At...