Not yet settled
Two readings of what may be one thing, held together while it is unknown which.
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
ambiguous · 5 references
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.
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.
Chen Chen
ambiguous · 4 references
Chen Chen: the name covers more than one person here - a co-author in Rajendran's processor-fuzzing group (MABFuzz, Fuzzerfly Effect, hybrid speculation) and a co-author of BoolE (2025). Do not read as one career.