Ph.D StudentComputer and Information Sciences Department
University of Pennsylvania
Office:Rooms 575, Levine Hall
3330 Walnut Street
Philadelphia, PA 19104-6309
I am a fourth year Ph.D student in Computer and Information Science Department of University of Pennsylvania, advised by Boon Thau Loo and co-advised by Limin Jia. 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 focus is mainly on networking and formal methods.My current project involves using declarative programming language (Network Datalog) to specify programs in software-defined Networks, and verify their correctness efficiently.
My current projects involve: