Research Blog
Conferences / Events
ETAPS 2026
24 April 2026
In April, I went to ETAPS 2026 to attend VerifyThis and the Rust Verification Workshop. In this post, I'll focus on writing about my experiences going to VerifyThis2026. I do not know yet if I'm also going to write a post for the Rust Verification Workshop.
Continue reading