Bart Jacobs

http://www.cs.kuleuven.be/~bartj/ [email protected]

imec-DistriNet, KU Leuven Leuven, Belgium Associate professor of computer science, focusing on formal program verification.