Eugene Kirpichov

Eugene Kirpichov is Senior Software Engineer at Google. Their talks in the By the Bay archive include “Ideas in Type-Theoretic Theorem Proving”, “Towards an ML-Augmented Programming Stack”, “Apache Beam (incubating): Unified batch...”.