Ennan Zhai is a Postdoctoral Associate of Computer Science at Yale University. He is working with Ruzica Piskac and Bryan Ford. His research interests include distributed systems, security, and software verification. He earned his Ph.D. in Computer Science from Yale University in 2015. During his Ph.D. study, he was mainly working on building cloud auditing systems (named INDaaS).