I am PhD candidate at Imperial College London in the Software Reliability Group, working on dynamic analysis techniques to automatically find bugs in applications. More broadly I am interested in compilers, operating systems, systems programming in general and computer architecture.