John Tromp

Juegos de Mesa e Inteligencia Artificial, Algoritmos, Complejidad, Teoría de la Información Algorítmica, Computación Distribuida, Biología Computacional, y lo que no. Recientemente he estado diseñando un nuevo sistema de prueba de trabajo llamado Cuckoo Cycle. Menos investigaciones recientes se han centrado en la Combinatoria de Go, contando específicamente el número de posiciones legales. He estado jugando con un modelo de computadora basado en Lambda Calculus completamente simple. Mi número es el número 2, cortesía de Jeffrey Shallit, mi profesor de CS favorito, que fue coautor de papeles conmigo y con Erdés. Hace un tiempo estudié la complejidad de OriMazes.