General Interests
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.