Coordinates Email: dg+@cs.cmu.edu Office Phone: +1 (412) 268-3069 Office Address: Wean Hall 8121 Carnegie Mellon University Pittsburgh PA 15213-3891
| Home Research papers Research talks Teaching/Courses Contact Personal |
|
|
I am a graduate student in the Computer Science Department, Carnegie Mellon University, advised by
Frank Pfenning. I am
interested in applying methods from logic and programming languages to
the development of secure computer systems.
|
Coordinates Email: dg+@cs.cmu.edu Office Phone: +1 (412) 268-3069 Office Address: Wean Hall 8121 Carnegie Mellon University Pittsburgh PA 15213-3891 |
Last updated on June 23, 2009.