David A. Basin
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
David A. Basin
David A. Basin. In this corpus he appears twice over, thirty years apart and in two unrelated fields, which is the reason to have the page. The 1989-1991 pair is hardware: a Cornell PhD student verifying a floating-point adder's front end down to the transistor level in Nuprl, then turning that transistor model into verified CMOS synthesis with Brown and Leeser. The 2022 entries are the SCION book, written at ETH Zurich where he holds the information-security chair. Nothing in the corpus covers the intervening career -- the monadic second-order logic work, Isabelle, or the protocol-verification line -- so a reader meeting both clusters should not assume the corpus knows how one became the other.