One might expect some of the most prominent people in math and cs theory to have names like Aaronson and Baez...