|
I am a post-doctoral researcher
in CyLab
at Carnegie Mellon University. In
Fall 2009 I am also an in-absentia graduate student in the
Computer Science Department,
advised by Frank
Pfenning. I am interested in applying methods from logic and
programming languages to computer security.
News
- I am the co-chair
of PLAS
2010. Please consider submitting a paper.
-
I defended my thesis on October 1.
Professional Activities
FCS-PrivMod
2010
(PC), PLAS
2010
(co-chair), FCS'09
(PC)
|
|
Coordinates
Email: dg+@cs.cmu.edu
Office Address:
CIC Building, 2119D
Carnegie Mellon University
4720 Forbes Ave
Pittsburgh PA 15213
Phone: +1 (412) 268 9604
|