Antecedentes: comencé mi carrera universitaria en ciencias de la computación y pasé a las matemáticas dejando las ciencias de la computación como asignatura secundaria. Recientemente completé mi Licenciatura en Matemáticas con un proyecto de investigación en teoría de Galois, geometría algebraica y teoría de números aditivos. Para el próximo año académico, estoy cursando una Maestría en Matemáticas que completaré en un año a través de un programa de 5 años (BS/MS).
Aunque no completé más que una especialización en ciencias de la computación, me ha interesado que desempeñe un papel vital en mis objetivos profesionales en el mundo académico.
Mi objetivo después de terminar mi maestría es hacer la transición a un doctorado. programa de matemáticas, pero aún no he decidido en qué quiero centrar mi investigación.
Me gustaría saber qué es la informática teórica para el mundo académico y qué experiencia necesita alguien para convertirse en un científico informático teórico.
Preguntas: ¿La mayoría de los profesores teóricos de ciencias de la computación tienen su Ph.D. ¿en matemáticas?
¿Cuánta formación formal se necesita de la propia informática? ¿Se puede lograr esto fuera de un entorno escolar?
¿Qué campos de las matemáticas juegan un papel importante en el SC teórico?
La respuesta a su pregunta es "no": la mayoría de las personas que se hacen llamar científicos informáticos teóricos tienen un doctorado en (T)CS.
Y sí, debe tener experiencia en informática porque la palabra lo dice por sí misma: informática teórica , que es el estudio de lo que una computadora puede (o no) hacer y con qué recursos.
Las matemáticas son una parte vital y en diferentes campos de TCS, diferentes áreas de campos de las matemáticas juegan un papel importante (teoría de números, álgebra lineal, combinatoria, teoría de probabilidad son, con mucho, las más utilizadas). En términos generales, las matemáticas utilizadas rara vez son "oscuras" o demasiado abstractas/puras.
En cuanto a la pregunta de si esto se puede lograr fuera de la educación formal, la respuesta es "depende" de la motivación, las circunstancias, etc. Es realmente difícil responder eso.
La mayoría de los informáticos teóricos tienen doctorados en informática. Pero hay varios programas de matemáticas que también emplean a informáticos teóricos y/o tienen una estrecha relación con el departamento de informática de su universidad. Estos programas de doctorado en matemáticas producen científicos informáticos teóricos.
El departamento de matemáticas del MIT es uno de esos programas: muchos científicos informáticos se gradúan con doctorados en matemáticas del MIT, aunque son asesorados por personas que normalmente se considerarían científicos informáticos (teóricos). Otros programas incluyen:
El programa ACO en CMU: http://aco.math.cmu.edu/
El programa ACO en Georgia Tech: http://www.aco.gatech.edu/
El programa AMCS en Penn: https://www.amcs.upenn.edu/
Estoy seguro de que hay otros que me faltan.
Estos programas "dejan sus opciones abiertas" en caso de que quiera estudiar algún aspecto de matemáticas puras o aplicadas separadas de TCS, pero con la opción de estudiar TCS. Por supuesto, si está seguro de lo que quiere hacer, una sólida formación en matemáticas también suele ser una buena preparación para un doctorado en (T)CS, incluso si no tiene una especialización en informática de pregrado. (por ejemplo, muchos de mis propios estudiantes de doctorado en Penn se especializaron en matemáticas en la universidad en lugar de especializarse en informática)