Intro

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 washington.edu dh63

Resume

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

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

Philosophy

• 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

Diversity

• 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