Dr. Ronghui Gu

Biography

Ronghui Gu is an Assistant Professor at the Data Science Institute of Columbia University, specializing in software system verification, programming language design, and concurrent operating system development. He earned his Ph.D. from Yale University in 2016, where he received the Yale Distinction Dissertation Award and was nominated for the ACM Dissertation Award. His research focuses on certified software systems, encompassing formal semantics, logics, compiler development, proof engineering, concurrency, and distributed computing. Gu was the primary designer and developer of CertiKOS, a formally verified concurrent operating system kernel created during his time at Yale, which represents a significant advancement in the field of safe and secure software systems. Additionally, he co-founded CertiK, a formal verification startup dedicated to building trustworthy smart contracts for blockchain ecosystems.

Research Interests