Machine Intelligence Research Institute
Sam Eisenstat works on questions relating to the foundations of reasoning and agency. He studied pure mathematics at the University of Waterloo, where he carried out research in mathematical logic. Before joining MIRI, he worked on automatic construction of deep learning models at Google. He currently works on logical uncertainty, and in particular is exploring analogies between current theories of logical uncertainty and Bayesian reasoning. He has also done work on decision theory and counterfactuals.
This person is not in any offices
Machine Intelligence Research Institute
The MIRI is focused on developing the mathematical theory of trustworthy reasoning for advanced autonomous AI systems.