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 name, Zhen (震), means thunder (noun.) or quake (verb.) in Chinese, and you can pronounce it like "Jen/Gen" in English.