Portrait of Daniel Selsam

Daniel Selsam

Senior Researcher


Daniel is a Senior Researcher in the RiSE group at Microsoft Research. He obtained his PhD at Stanford University in 2019, co-advised by Percy Liang and David L. Dill. His research explores the synergies between logic and learning, with the long-term goal of developing tools to assist with mentally demanding tasks such as programming, algorithm design and mathematical problem-solving. Daniel has made contributions to many subfields of AI, including probabilistic programming, interactive theorem proving, semi-supervised learning, neural network architecture design, functional programming, and high-performance SAT solving.