I am a PhD student at the Computer Science department of the Open Universiteit. My research interests are everything related to (x86) CPUs: (dis)assembly, instruction decoding, instruction semantics, (de)compilers, etc.
My main project is libLISA, a tool that can fully automatically analyze the instruction space of a CPU, discover valid instructions, and (in many cases) even infer semantics. The aim of libLISA is to produce accurate, CPU-specific semantics that can be used to verify disassemblers, emulators and other tools operating on binaries. I am also exploring the feasability of using the generated semantics in emulators.