La Universidad de Notre Dame tendría que ocupar un lugar destacado en la lista. Tienen una fuerte facultad de lógica en general (Departamento de Matemáticas).
En particular, Julia Knight (Julia F. Knight – Wikipedia) y Peter Cholak (Departamento de Matemáticas) son especialistas bien conocidos en computabilidad.
CUNY tiene a Russell Miller Russell G. Miller y al polímata Joel David Hamkins.
- ¿Probar la conjetura de Goldbach ternario ayuda a probar la conjetura de Goldbach fuerte (binaria)?
- ¿Cuál es su problema (s) abierto (s) favorito (s) en Machine Learning desde la perspectiva teórica de un científico de la computación?
- ¿De qué se trata más la computación cuántica: Computadoras o Física y Matemáticas?
- Si el universo es una simulación, ¿no estaría sujeto al problema de detención?
- ¿Cuál es una explicación simple pero detallada de Textrank?
Berkeley tiene uno de los mejores programas de lógica, y hay muchos profesores capaces de trabajar en proyectos relacionados con la computabilidad (Research in Mathematical Logic). Puedes ver que Theodore A. Slaman ha sido muy activo en la producción de doctorados en esta área.
La Universidad de Illinois es muy buena en lógica (Lógica, Departamento de Matemáticas, Universidad de Illinois en Urbana-Champaign).
La mayoría de los profesionales de alto nivel (por ejemplo, Marker, Laskowski, Scanlon, Pillay) sabrán suficiente teoría de recursión para ayudarlo a escribir una tesis, incluso si no es su área principal.