Ronghui Gu is an Assistant Professor of Computer Science at Columbia University. He got his Ph.D. from Yale University in 2016 on the verification of system software, for which he received the Yale Distinction Dissertation Award and was nominated for the ACM Dissertation Award. Gu's research centers on certified software systems software and spans many fields ranging from programming language design, OS kernel development, formal semantics and logics, compiler development, proof engineering, to concurrency and distributed computing. In recent years, as the primary designer and developer, he and his colleagues at Yale developed the formally verified concurrent OS kernel CertiKOS—a major milestone toward building safe and secure software systems. Gu also co-founded CertiK, a formal verification startup focusing on building trustworthy smart contracts and blockchain ecosystems.


550 West 120th Street, Northwest Corner Building, Suite 1401, New York, N.Y. 10027    212.854.5660
©2019 Columbia University