I am a senior undergraduate student in Carnegie Mellon's School of Computer Science. I will be graduating in May 2008 and hope to enter graduate school in Fall 2008.
Projects
- I am currently working on extending authorization logics to account for time-dependent policies as part of an undergraduate thesis project. My advisor is Professor Frank Pfenning. You can find slides from my Fall 2007 thesis progress presentation here.
- In the summer of 2006, I worked with Professor Karl Crary to create Classical Tutch, a classical logic version of the Tutch proof checker. Here is a paper that describes the algorithm used in verifying Classical Tutch proofs. You are also welcome to take a look at the source code.
- Here is a small animation on G protein coupled receptors that I created for the 03-240 Cell Biology BioFair.
Publications
- An Authorization Logic with Explicit Time
Henry DeYoung, Deepak Garg, and Frank Pfenning.
IEEE Symposium on Computer Security Foundations 2008.
To appear.
Slides: pdf