Zürich, ZH, Switzerland

My interests span various areas of systems, programming methodology, and software verification.

I have recently successfully defended my PhD in the Systems Group, Department of Computer Science at ETH Zürich, advised by Prof. Timothy Roscoe.

I am developing Verus: a semi-automatic verification tool for the Rust programming language. I am part of a collaborative effort to dramatically lower the costs associated with verifying software systems with the goal of improving the reliability and security of new systems software.

I also have been working on techniques for re-scaling and fault-tolerance for streaming data processing system, with a strong focus on efficiency.

More info at