New Hardware Logics and their Application to Security and Learning

Have you ever stopped to think about the fact that today nearly every internet search made, post liked, computer game played, car driven, picture taken, and passenger flown was controlled almost entirely by "and", "or", and "not" gates over 0 and 1?   The digital logic abstraction has served us incredibly well over the past 50 years, but there is always room to improve!   In this talk I will explore two concrete problems where new logics are providing a unique and valuable lens. The first relates to the insidious nature of security vulnerabilities that live between hardware and software (such as Spectre and Meltdown), and the second (where the bulk of the talk will focus) on the ability of new encodings to facilitate highly efficient hardware for machine learning.