Chen Chen

Pic of Chen

Ph.D Student

Computer and Information Sciences Department
University of Pennsylvania
NetDB[at]Penn

Office:Rooms 575, Levine Hall
3330 Walnut Street
Philadelphia, PA 19104-6309
Email:chenche[at]seas[dot]upenn[dot]edu

Curriculum Vitae

Introduction

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.

Research Interests

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:

Publications

2014

2012

Courses