Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
Ronghui Gu

Registered user since Sat 26 Aug 2017

Name: Ronghui Gu

Bio: Ronghui Gu will join Columbia University in 2018 as a tenure-track assistant professor. He obtained his Ph.D. degree from Yale University in 2016 under the supervision of Prof. Zhong Shao. His research interests are programming languages and operating systems, with a focus on certified system software, concurrency reasoning, and language-based support for safety and security. His primary research work is the design and implementation of the CertiKOS framework. Ronghui obtained his B.S. degree from Tsinghua University in 2011, and his honored undergraduate thesis is about verifying the preemptive scheduler of uC/OS-II.

Country: United States

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

CoqPL 2019Committee Member in Program Committee within the CoqPL-track
Show activities from other conferences

POPL 2019-profile
View general profile