Computer Security
I am part of the Security research group at Carnegie Mellon led by Prof. David Brumley.
Currently, I am working to modify Klee, a symbolic execution engine, to use the more efficient DWP algorithm, which should make it significantly faster. This is a description on the ECE website.