User:Pmt6sbc

I am a Professor of Mathematics, with a special interest in logic, computability, and all things related to Alan Turing, his life and work. I've written and edited around a dozen books in this area. While not a great Wikipedia expert (unfortunately), I only contribute material I am expert in. I am a member of the ASL, EATCS, CiE, BLC and AMS.