Zhen Zhang

PhD student




I am a 1st-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 founding employee and SDE/SRE/Infra in a fintech platform startup for a year. I received my B.Eng. in CS from University of Science and Technology of China.

In Computer Science research, I am interested in the fields of Program Synthesis, Software Engineering and Secure Systems. Currently I am focusing on improving the scalability and reliability of tools and systems for programmers, esp. by data-driven and learning-based approach.

Before PhD, I have been working with Prof. Derek Dreyer and Prof. Xinyu Feng during my undergrad research life, all great academics! At that time, I had also been working on High-Performance Computing, Computer Graphics for VR, etc.

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. I also have a new English name:

alias jason=zhen

Contact me