Jie Zhou profile picture

Hi I'm Jie. I'm doing Systems Research, mainly focusing on systems and software security. I'm currently a postdoc and was previously a PhD student at the University of Rochester, advised by John Criswell. I got my Belachor's degree from Xiamen University.

I believe software vulnerabilities essentially stem from the intricate logic inherent in programms and programming, for which programmers certainly cannot get correct completely because, let's admit it, we human beings are a fallible species. Since we have little control over how our brains are constructed, I advocate for doing something about programmingl languages and compilers: programming languages are the direct medium through which programmers express their ideas, and compilers are the direct medium that translates these expressions to the ultimately executed machine code. I believe methods oriented around languages and compilers solve software vulnerabilities concerns in a more fundamental manner.

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