Ziqiao Zhou

关于

I am a researcher at Microsoft Research Redmond (opens in new tab). My research interest is in Computer Security, including system security and formal verification. Before joining MSR, I worked in Google’s Security Foundation team for around a year. I received my Ph.D. degree from the Department of Computer Science at the University of North Carolina at Chapel Hill in 2020. My PhD thesis (opens in new tab) focuses on applying advanced information analysis technique to real software and hardware implementations.