Write a Blog >>
Ronghui Gu

Registered user since Fri 22 Jan 2016

Name: Ronghui Gu

Bio: 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, 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.

Affiliation: Columbia University

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.


POPL 2020Author of Virtual Timeline: A Formal Abstraction for Verifying Preemptive Schedulers with Temporal Isolation within the Research Papers-track
Show activities from other conferences

POPL 2020-profile
View general profile