Daniel Selsam (Preferred)
Daniel Selsam
Researcher, OpenAI
Senior Researcher, Microsoft
- Joined September 2018
Names
Emails
****@stanford.edu (Confirmed)
, ****@cs.stanford.edu (Confirmed)
, ****@microsoft.com (Confirmed)
, ****@protonmail.com (Confirmed)
, ****@openai.com (Confirmed)
Personal Links
Career & Education History
Researcher
OpenAI (openai.com)
2022 – Present
Senior Researcher
Microsoft (microsoft.com)
2019 – Present
PhD student
Stanford University (stanford.edu)
2014 – 2019
Research intern
DeepMind (deepmind.com)
2018 – 2018
Research intern
Microsoft (microsoft.com)
2016 – 2016
Advisors, Relations & Conflicts
Mentor
Nikolaj Bjorner
2018 – Present
Expertise
theorem proving, machine learning, functional programming, search
2014 – 2021