Ronghui Gu
Ronghui Gu
Assistant Professor, Columbia University
- Joined July 2019
Names
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
Expertise
Formal Verification
2011 – Present
Programming Languages
2011 – Present
Operating System
2011 – Present