Synopsis
I am a second year graduate student in the University of Wisconsin-Madison department of Computer Sciences. I work as a research assistant for Somesh Jha on software security. My interests are in applying program analysis and formal methods to security problems.
I am a second year graduate student in the University of Wisconsin-Madison department of Computer Sciences. I work as a research assistant for Somesh Jha on software security. My interests are in applying program analysis and formal methods to security problems.