Research

Growing interest in memory forensics and the applications of formal methods within this area.

Currently highly interested in applying compiler verification and automated theorem proving/checking techniques to the reverse engineering of binaries.

General interests are computer security, proof theory and type theory.