Bart Jacobs

Registered user since Fri 6 Mar 2015

Name: Bart Jacobs

Bio: Assistant professor at the imec-DistriNet research group at the Department of Computer Science, KU Leuven - University of Leuven, Belgium

Country: Belgium

Affiliation: KU Leuven

Personal website:

Research interests: Program Verification, Programming Languages


ECOOP 2019Author of Transferring Obligations Through Synchronizations within the ECOOP Research Papers-track
Committee Member in External Review Committee within the ECOOP Research Papers-track
Author of Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior within the Summer School-track
Show activities from other conferences

ECOOP 2019-profile
View general profile