There are two sides to the work of Emeritus Professor Vaughan Pratt: the pioneering mathematical theorist and thought-leader and the problem solver tackling everything from self-driving cars to climate change.