Robuta

https://royalsociety.org/people/timothy-gowers-11523/ Sir Timothy Gowers FRS | Royal Society Fellow "Discrete mathematics","Theoretical computer science","Automatic theorem proving" sir timothy gowersroyal societyfrsfellow