I am a Research Scientist at Facebook working on automatically identifying, understanding and fixing bugs in code. My research interests include fuzzing, reverse engineering, program synthesis, SMT solvers and their applications, and generally everything program analysis.
Prior to joining Facebook i did my PhD at Ruhr University Bochum at the chair for Systems Security. My research mostly focused on automated bug finding, and I published various tools in that area, including fuzzers for x86 binary only targets including hypervisors, operating systems and ring-3 applications as well as bug triaging and (anti)obfuscation tools (https://hexgolems.com/).
Fuzzing, binary analysis, SMT solvers, static analysis, synthesis