Dr. Ronghui Gu

Biography

Ronghui Gu is the inaugural Tang Family Associate Professor at Columbia University, specializing in Computer Science with a focus on Programming Languages, Operating Systems, and Blockchain technology. His research emphasizes systems verification and proof automation. With a robust academic background, Ronghui holds a Ph.D. in Computer Science from Yale University, where he was awarded the Distinguished Dissertation Award. He has co-founded CertiK, a Web3 cybersecurity startup valued at $2 billion, and has received multiple notable accolades including the Amazon Research Award and the VMware Systems Research Award. His work has been recognized in prestigious publications such as the Wall Street Journal, Forbes, and TechCrunch. Ronghui is deeply engaged in the academic community, serving on program committees for leading conferences in his field. He is dedicated to advancing research and education, encouraging collaboration through his lab at Columbia, and mentoring Ph.D. students. Throughout his career, he has led significant funding initiatives and contributed to groundbreaking research in system software verification, making significant strides in the area of cybersecurity and decentralized systems.

Research Interests

Experience

Awards