About Me
I am a PhD student at the
Veritas Lab
under the supervision of
My research interests include formal methods and their application on software verification, as well as the development of logical foundations for programming languages. Currently, I am working on RUXt, a compositional analysis for automatic bug detection in Rust libraries that rely on internal use of unsafe features.