Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics

Abstract

Summary form only given. Whenever a programmer writes a loop, or a mathematician does a proof by induction, an invariant is involved. The discovery and understanding of invariants often underlies problem solving in many domains. The author discusses his search for powerful invariants over the past decade. This search was/is motivated by a broad spectrum of problems: understanding query languages, engineering data integration systems, optimizing disease treatments, recognizing DNA feature sites, and discovering reliable patterns