Was confused how Greg Egan wasn't on the list, then I got to the sci-fi section, and he's in there.

I could second his recommendation for 'Turing (A Novel About Computation)' by Christos Papadimitriou