Samuel is a Ph.D. student at Roy Wagner’s Chair for the History and Philosophy of Mathematics. He works on the history of type theory and its relation to programming errors.