This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Bart Jacobs
Two readings of what may be one thing, held together while it is unknown which.
Bart Jacobs: the name covers two people here - Bart Jacobs of KU Leuven (VeriFast, the 2011 verified software competition) and the co-author with Melham of the 1993 translation of dependent type theory into HOL. Not one career.
5 references
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java
Bart Jacobs and others (2011) · NASA Formal Methods · Springer
The 1st Verified Software Competition: Experience Report
Vladimir Klebanov and others (2011) · FM 2011: Formal Methods · Springer
The VeriFast Program Verifier
Bart Jacobs and others (2008) · Katholieke Universiteit Leuven, Department of Computer Science
Categorical logic and type theory
Bart Jacobs (1999) · Elsevier BV
Translating dependent type theory into higher order logic
Bart Jacobs and others (1993) · Typed Lambda Calculi and Applications (TLCA '93) · Springer Nature