I work at GrammaTech as a senior scientist. My work is focused on static analysis of programs and more recently on static analysis of binaries. I am interested in formal methods, programming languages, static program analysis, and machine learning. Some of my recent work is open source e.g. https://github.com/GrammaTech/ddisasm.
Before working at GrammaTech, I obtained a PhD in Computer Science at Technical University of Darmstadt (Germany) under the supervision of Reiner Hähnle. During my PhD I worked on improving the techniques for automatic resource analysis (also known as cost analysis or bound analysis). The results of this research have been implemented into a prototype tool called CoFloCo.