I am a second year PhD student in the ECE Departement at Carnegie Mellon University.
I am interested in most areas of software security.
Right now, I am particularly interested in automatic software verification techniques.
I am lucky to be advised by David Brumley.
Carnegie Mellon University
4720 Forbes Avenue
Pittsburgh, PA 15213
- Enhancing Symbolic Execution with Veritesting (PDF) (BIB)
In Proceedings of the 36th International Conference on Software Engineering, June 2014
ACM Distinguished Paper Award
- Automatic Exploit Generation (BIB)
In Communications of the ACM, February 2014