Estoy muy interesado en Ciencias de la computación (complejidad computacional, etcetera). Ya he terminado un curso universitario en el tema (usando "Introducción a la teoría de cómputo" de Sipser).
Sé lo básico, es decir, máquinas de Turing, Computabilidad (problema de Halting y reducciones relacionadas), las clases de complejidad (espacio y tiempo, P/NP, L/NL, un poco sobre BPP).
Ahora, estoy buscando un buen libro aprender acerca de algunos conceptos más avanzados. ¿Alguna idea?