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.

[http://www.cs.kuleuven.be/~bartj/ My homepage]