Zhen Zhang


I am a first-year Ph.D. student in UW CSE, Seattle.

My overall interest is Software Systems. Academically, I am interested in the fields of Programming Languages, Formal Verification, Program Analysis, and Runtime Systems. Besides these, I had also been working on High-Performance Computing, Computer Graphics, and Virtual-Reality. Also, I am a big fan of Functional Programming and Web technology. Generally speaking, I like building useful systems in a principled way and invent necessary tools/theories for such purpose. I wish to push the boundary of technologies for the benefit of humanity.

My favorite languages are Haskell and Rust. I am also a Coq hacker.

My name, Zhen (震), means thunder (noun.) or quake (verb.) in Chinese, and you can pronounce it like "Jen/Gen" in English.


Free time activities

I am a B-boy since 2013, though Hip-Hop is also an option. Besides that, I enjoy bouldering, swimming, Sanshou and skiing as well.

I am also highly interested in music (Classic, Jazz, or mixed), movies (imdb 40/100), photography, and travelling.