El Doctorado en Ciencias de la Computación de la FAMAF forma investigadores teóricos y aplicados de alto nivel para fortalecer el desarrollo de la disciplina en la región. La investigación se organiza en dos grandes áreas de la facultad: métodos formales e inteligencia artificial.
El doctor es un experto formado, con autonomía y flexibilidad, que en el corto o mediano plazo puede supervisar y dirigir proyectos de distinta envergadura. Está preparado para el entorno científico y académico, en universidades y el CONICET, y también para actividades de alta complejidad en la industria de tecnologías de la información y las comunicaciones.
En métodos formales se trabaja en teoría de tipos y cálculo de programas, model checking y análisis cuantitativo, con aplicaciones en sistemas de tiempo real y seguridad. En inteligencia artificial, en procesamiento de lenguaje natural, ciencia de datos, redes neuronales, aprendizaje automático y minería de datos en textos.
Hay que cumplir al menos uno de estos requisitos: ser egresado de una universidad argentina reconocida por autoridad competente, con título universitario de grado, o ser egresado de una universidad extranjera con título de nivel equivalente.
La inscripción exige director y tema de tesis. Cuando el título del aspirante no es el de licenciado en la disciplina otorgado por esta facultad, se le puede requerir la aprobación de exámenes o cursos especiales.
Acreditada por CONEAU — Resolución CONEAU 612/2021, categoría A; reconocimiento oficial Resolución SPU 569/2022