Jason Baumgartner joined IBM in 1995, and quickly became involved in applying formal verification tools to find intricate design flaws. These experiences evolved into the pioneering of numerous advanced verification algorithms, which culminated into the SixthSense project and his PhD from University of Texas in 2002 and have been the subject of numerous patents and publications. Today Jason is the Formal Verification Technology Lead within IBM Systems and Technology Group, and a central figure in the external Formal Verification community active in numerous conferences, university collaborations, and the Semiconductor Research Corporation.