Sophomore @ Paul G. Allen School of Computer Science & Engineering


Hi there, I’m Mike He, a student @ University of Washington - Seattle. I’m studying Computer Science @ Allen School of Computer Science & Engineering. My intended field of study is Programing Languages & Program Synthesis. I’m also interested in gender study and Japanese study. From October 2019, I started to work on Relay with PLSE and SAMPL Group.

Github/CodeWars: AD1024

-- My Email
(λx. λy. λz. [email protected]) cs dh63


English version (Only): Mike He’s Resume

Selected Coursework

Computer Science

  • CSE 143X: Computer Programming II (Accelerated)
  • CSE 332: Data Structure and Parallelism
  • CSE 333: System Programming
  • CSE 402: Introduction to Domain-Specific Language
  • CSE 490: Special Topics: Advanced PL (PL + Verification) (IP)
  • CSE 505: Principle of Programming Languages (IP)
  • CSE 507: Computer-Aided Reasoning for Software


  • MATH 12X: Calculus
  • MATH 307: Differential Equation
  • MATH 308: Linear Algebra


  • PHIL 100: Introduction to Philosophy
  • PHIL 470: Intermediate Logic (IP)

VLPA (Visual, Language and Performing Art)

  • MUSIC 390/HONORS 398: Special Topics on Music

Took in Waseda Summer Session 2019

  • History I: Japanese Contemporary History
  • Culture III: Japanese Popular Culture and Globalization
  • Talk in Japanese II: Japanese Language Course


  • ANTH/JSIS A/GWSS 328: Gender & Sexuality in China

Fun Fact

I love classical music and enjoy playing the violin. I’ve been playing the violin for 0x10 years.

Some recordings are available here: AD1024 @ Bilibili