Research Scientist at Google DeepMind London and Professor at UTCompSci, working on Automated Reasoning, Machine Learning, and Programming Languages.
CiteGist uses essential cookies to keep you signed in. With your consent we'd also use analytics cookies to understand which pages help most. Learn more.