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.
This is the current revision of this page, as edited by Bart Jacobs (Leuven) (talk | contribs) at 19:27, 2 May 2020. The present address (URL) is a permanent link to this version.
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.