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,
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),