I am currently a 2nd-year PhD student at Paul G. Allen School of Computer Science & Engineering at UW, and a member of PLSE lab. Before that, I worked as a software engineer in a startup for a year. I received my B.Eng. in CS from University of Science and Technology of China. I had been working on Program Analysis, Build Systems, Program Verification, Rust Programming, Toy Languages, High-Performance Computing, Synthetic Biology, and many other here and there.
My name, Zhen (震), means thunder (noun.) or quake (verb.) in Chinese, and you can pronounce it like "Jen/Gen" in English. I also have a new English name: