I am an expert in software verification and programming languages. With colleagues, I have built Prusti (https://github.com/viperproject/prusti-dev), a tool for mathematically proving the absence of software bugs in Rust programs.

I am motivated by interesting challenges, regardless of whether they are in my field of expertise.