Currently a full-time research faculty member of Virginia Tech, and part-time teaching faculty member at Johns Hopkins University.

Research interests are on the intersection of multiple AI disciplines (Hybrid AI) as applied to Cybersecurity challenges. 

Publications:

-Formally verified big step semantics out of x86-64 binaries, CPP 2019.
-Symbolic Execution of x86 assembly in Isabelle/HOL, SPISA 2019.
-Establishing a Refinement Relation between Binaries and Abstract Code, MEMOCODE 2019.

 

Education History

  • B.S. Computer Science, California State University
  • M.S. Computer Science, Johns Hopkins University

Work Experience

Research Faculty, Virginia Tech

Publications

-Formally verified big step semantics out of x86-64 binaries, CPP 2019.
-Symbolic Execution of x86 assembly in Isabelle/HOL, SPISA 2019.
-Establishing a Refinement Relation between Binaries and Abstract Code, MEMOCODE 2019.

Honors and Awards

  • Defense Meritorious Service Medal (2017)
  • Steel Order of Francois De Fleury (2017)