I am a Software Engineer in the Static Analysis team at Facebook London, where I work on statically detecting performance regressions at diff-time. I completed my PhD at Max Planck Institute for Software Systems and University of Saarland in Germany. My research background is in type systems and static execution cost analysis.