Interests: Bits and Atoms; Hilbert Space, Quantum Chemistry, Propositional Satisfiability, Machine Learning