Volunteering
I love being involved in all sorts of things. For me, volunteering is a good way to have some beautiful chaos in my life while also having an impact. These are some of the projects I’ve been part of over the years:
Academic Service
Artifact Evaluation Committee
2026Awards and Recognition
Acknowledged for Assistance During Preparation of the CAV 2026 Proceedings
2026Google Open Source Peer Bonus Award
2024Open-Source
Maintainer of Clippy, Rust's Linter
2021 - 2025As a maintainer, I’ve reviewed over 440 PRs and mentored several members in the Clippy team, namely: @dswij, @Alexendoo, @Jarcho, @Centri3, @blyxyas
Contributor to Clippy and Rustc
2020 - 2025I’ve created over 180 PRs. I’m especially proud of implementing the #[expect] attribute (RFC 2383) in rustc.