Zhen Zhang

News

• 2020 June: Starting remote internship at Google working on App Safety + NLP
• 2019 June: Starting internship at AWS Automated Reasoning Group, New York
• 2019 Jan: Starting TA of CSE 403: Software engineering (19wi)

Bio

I am currently a 3rd 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 an early-stage 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:

alias jason=zhen

Contact me

• Email: zgzhen@cs.washington.edu
• Office: CSE2 330, Bill & Melinda Gates Center for Computer Science and Engineering
• Mail: 3800 E Stevens Way NE, Seattle, WA 98195
• 微信