PLDI 2020
Mon 15 - Sat 20 June 2020 London, United Kingdom
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.

Contributions

PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
Show activities from other conferences

Using general profile