I am a Research Scientist working on core programming language infrastructure. I contribute language features and static analyses helping solve real business problems such as developer efficiency and privacy. I also work on spreading the use of formal verification where it can make difference (privacy guarantees, system modelling & design, critical low-level algorithms).