research
I am a PhD student at ETH Zurich, focusing on Rust verification as part of the Prusti project. My publications to date:
- (NFM 2022) The Prusti Project: Formal Verification for Rust
- Vytautas Astrauskas, Aurel Bílý, Jonáš Fiala, Zachary Grannan, Christoph Matheja, Peter Müller, Federico Poli, Alexander J. Summers
- (IWACO 2022) Compositional Reasoning about Advanced Iterator Patterns in Rust
- Aurel Bílý, Jonas Hansen, Peter Müller, Alexander J. Summers
- (OOPSLA 2021) Modular Specification and Verification of Closures in Rust
- Fabian Wolff, Aurel Bílý, Christoph Matheja, Alexander J. Summers, Peter Müller