Name:Zhenrong Gu

Bio:

I am a master student at Xi’an Jiaotong University (XJTU), advised by Prof. Peng Zhang.

My research interests are majorly in computer systems: networked systems and operating systems. Currently I’m working on network verification, repair, and formal methods. Previous research experiences include scalable network emulation and cloud access control verification.

In extracurricular life, I love photography, tennis, running, graphics design, web development, video editing, etc.

Country:China

Affiliation:Xi'an Jiaotong University

Research interests:Network Systems, Network Verification, Operating Systems