Murdoch Jamie Gabbay
Heriot-Watt University
Jamie Gabbay obtained a PhD in mathematical computer science at Cambridge, UK, and studies computation from the point of view of the logical foundations of mathematics. In 2019 he was awarded the Church award for contributions to logic and computation. He is happiest when he is turning something big, complicated, and vague into something short, simple, and precise.
