Research
My research interest lies at the intersection of software engineering, cybersecurity and artificial intelligence. Specifically, I am interested in representing and reasoning with knowledge about software to identify defects that can be exploited by adversaries, and prioritizing defects for verification by human analysts, using a novel combination of techniques from program analysis and knowledge representation and reasoning.