October 7, 2021December 15, 2025 tomrocksmaths Ig Nobel Prize with Leslie Lamport (2013 Turing award)