I am an associate professor of computer science at KU Leuven - University of Leuven, Belgium. My research focus is on modular formal verification of imperative programs.
My homepage
