Ph.D CandidateComputer and Information Sciences Department
University of Pennsylvania
Office:Rooms 575, Levine Hall
3330 Walnut Street
Philadelphia, PA 19104-6309
I am a fifth year Ph.D student in Computer and Information Science Department of University of Pennsylvania, advised by Professor Boon Thau Loo and co-advised by Professor Limin Jia (Carnegie Mellon University). I received my Bachelor Degree from Fudan University in Shanghai in 2011. Now I also collaborate with AT&T lab on cloud-related research.
My research mainly focuses on networking and formal methods.My current project involves using declarative programming language (Network Datalog) to specify programs in software-defined networks (SDN), and efficiently verify their correctness.