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 incorrectness logic for sound and scalable bug detection in Rust libraries that rely on internal use of unsafe features.
I will give a talk at the TPSA workshop,
co-located with
