I’m a postdoc and software verification expert at the Software Technology Group working on verification techniques for imperative, heap-manipulating programs. My overall goal is to simplify program verification. I recently completed my PhD on liveness verification and completeness thresholds at DistriNet, KU Leuven, Belgium. For more and up-to-date information about my research, please visit my personal website https://reito.eu.

Publications