With an emphasis on software security, offensive computing, assurance, and defense, his goal is to develop automation using scaling verification and program analysis techniques that check software for exploitable weaknesses.