Daniel Selsam

I am a third-year Ph.D. student in the Computer Science department at Stanford University. I am co-advised by Percy Liang and by David L. Dill.

My research objective is to develop a problem-solving and programming assistant that tens of thousands of researchers and engineers use daily to derive algorithms, develop software, and prove theorems. I believe the Lean Theorem Prover can form the basis of such a system. As part of my research, I help Leonardo de Moura design and develop Lean, and I also develop libraries and systems on top of Lean.