¿Qué universidades de EE. UU. Son las mejores para PL y / o teoría de tipos (especialmente en pregrado)?

Answer 1

A2A La mayoría de los departamentos de informática ofrecen teoría de tipo de programación, ya sea en cursos de lenguaje de programación y / o cursos de teoría. Por ejemplo, CMU 15-814 Programa de tipos y lenguajes de programación para un curso de posgrado.

Las universidades tienen que ver con la investigación: los estudiantes toman profesores, no solo cursos. Es el miembro de la facultad el que determina dónde quieres estudiar. Lo que diferencia al Programa de Ciencias de la Computación es la investigación realizada a nivel de Posgrado. La mayoría de los estudiantes de pregrado en las principales universidades toman cursos superiores y de posgrado que comienzan en su tercer año, a menudo con estudiantes de posgrado que se preparan para los exámenes de calificación. Entonces, dependiendo de los miembros de la facultad disponibles, la Teoría del tipo de lenguaje de programación puede estar cubierta más allá del curso de Lenguajes de programación introductorios.

Los departamentos de ciencias de la computación se evalúan en cuatro concentraciones diferentes: inteligencia artificial, lenguaje de programación y sistemas: los mejores programas de programación de computadoras y la mejor teoría de ciencias de la computación clasifica a las 20 mejores escuelas según su investigación, que fácilmente serían buenos lugares para estudiar la teoría del tipo de lenguaje de programación. Sin embargo, las 20 mejores escuelas son muy difíciles de ingresar, por lo que le recomiendo que mire los 100 mejores programas de licenciatura en informática para miembros de la facultad que están investigando activamente la teoría de los tipos de programación.

Entonces, en respuesta a su pregunta, si la Teoría del Tipo de Lenguaje de Programación es su criterio para elegir una Universidad, necesitará encontrar miembros de la facultad que investiguen activamente la Teoría del Tipo de Lenguaje de Programación.