Home |
Bio |
C.V. |
Research | Publications | Talks
| Service
I am an Assistant Professor in the Computer and Information Science
department at the University of Pennsylvania. I received my Ph.D. degree
in Computer Science from the University of California at Berkeley in
2006. Prior to my Ph.D, I received my M.S. degree from Stanford
University in 2000, and my B.S. degree with highest honors from UC
Berkeley in 1999. I was awarded the 2006 David J. Sakrison Memorial
Prize for the most outstanding dissertation research in the Department
of EECS at UC Berkeley, and the 2007 ACM SIGMOD Dissertation Award. I am
a recipient of the NSF CAREER award (2009) and the Air Force Office of
Scientific Research (AFOSR) Young Investigator Award (2012).
I lead the NetDB@Penn
research group, where we are working on several exciting projects at the
intersection of databases, networking, and formal methods. Our work is
summarized in this
one-page research
statement. You can also learn more about our
various research
projects, publications, NSF
and DoD funded projects, centered around the theme of developing a
safe and verifiable future Internet.
Spring 2012 office hours:
- Mon and Wed 1:30-2pm (605 Levine).
Teaching:
Current PhD students:
Former Ph.D. students:
Research group affiliations: