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)