Jie Zhou

I am an Assistant Professor in the Department of Computer Science at the George Washington University. I obtained my PhD from the Department of Computer Science at the University of Rochester, advised by John Criswell. Before Rochester, I received my Bachelor's degree from Xiamen University.

I do Systems Research with a focus on systems and software security. I advocate for language-based security: programming languages are the direct medium through which programmers express their ideas, and compilers are the machinery that translates those ideas into executable machine code. I believe languages- and compilers-centered methods can fundamentally solve computer security concerns.

Be alert, for your software is buggy and full of vulnerabilities!

Prospective Students: I am looking for students. If you are interested, please read this.