Ronghui Gu

Assistant Professor, Columbia University

  • Joined July 2019

Names

Ronghui Gu

Emails

****@columbia.edu (Confirmed)

Personal Links

Education & Career History

Assistant Professor
Columbia University (columbia.edu)
2018 – Present
 
PhD student
Yale University (yale.edu)
2011 – 2016
 
Undergrad student
Tsinghua University (tsinghua.edu.cn)
2007 – 2011
 

Advisors, Relations & Conflicts

PhD Advisor
2011 – 2017
 

Expertise

Formal Verification
2011 – Present
 
Programming Languages
2011 – Present
 
Operating System
2011 – Present