Zhen Zhang

PhD student


I am a PhD student at Paul G. Allen School of Computer Science & Engineering at UW, and a member of PLSE lab. Before that, I worked as Principal Engineer in a software startup in Beijing 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 Programming Languages, Software Engineering and Systems. I have been working with Prof. Derek Dreyer and Prof. Xinyu Feng during my undergrad research life, all great academics!

Before PhD, 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.

Contact me

  • Office: CSE 424
  • Mail: 185 E Stevens Way NE, Seattle, WA 98195
  • Availability: calendar