PhD candidate @ KU Leuven, supervised by Bart Jacobs
I’m a PhD candidate at DistriNet at KU Leuven , working on verification techniques for heap-manipulating programs and supervised by Bart Jacobs . My overall goal is to simplify program verification. My current research focuses on completeness thresholds for memory safety proofs. The goal of this work is to reduce unbounded memory safety proofs to bounded ones.
My general research interests are: