User:Bart Jacobs (Leuven)

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