Richard Evans

Richard Evans is a Research Scientist at DeepMind, specialising in formal methods.