Graduate Student, Computer Science, University of Rochester
BS, Computer Science,
Rochester Institute of Technology
2004
Email: (Last Name - dt) at cs.rochester.edu
Research Interests: Compilers, Programming Languages, Type Systems
ITRG Mini-proposal: Large-scale Automated Analysis of Code