Registered user since Fri 22 Jan 2016

Name: Ronghui Gu

Bio: Ronghui Gu is the inaugural Tang Family Assistant Professor of Computer Science at Columbia University and a Cybersecurity Affiliated member of Columbia’s Data Science Institute. He is the primary designer and developer of CertiKOS, the first verified concurrent OS kernel, and SeKVM, the first verified commodity hypervisor–major milestones toward building safe and secure systems software. Gu also co-founded CertiK, a blockchain security startup that has collectively served more than 300 enterprise clients and secured more than $8 billion worth of assets in cryptocurrency. For his work in systems verification, Gu received: an SOSP Best Paper Award, a CACM Research Highlight, and a Yale Distinguished Dissertation Award. He obtained his Ph.D. degree from Yale University in 2016 and bachelor’s degree from Tsinghua University in 2011.

Affiliation: Columbia University, USA

Personal website: http://www.guronghui.com/

Research interests: Programming languages and operating systems, with a focus on language-based support for safety and security, certified system software, certified programming and compilation, formal methods, and concurrency.

Contributions