Zhen Zhang


My overall interest is Systems. 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.

In Computer Science research, I am interested in the fields of Programming Languages, Formal Verification, Program Analysis, and Runtime Systems.

Besides research, I had also been working on High-Performance Computing, Computer Graphics, and Blockchain-based Finance & Investment.

Also, I am a big fan of Functional Programming and Web technology.

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. Besides that, I also enjoy bouldering, swimming, Sanshou and skiing as well.

I loves music (Classic, Jazz, or mixed), movies (imdb 40/100), photography, and travelling.