Integrated Undergraduate-Graduate Program - Languages Concentration

Faculty: Hai-Feng Guo, William Mahoney, Victor Winter, Mansour Zand

With respect to today's needs, key characteristics of a language include (1) the extent to which a program written in the language can be analyzed, (2) the dimensions along which program modification is facilitated, (3) the extent to which the language can be efficiently executed on available hardware. The languages concentration offers an in-depth look at some of the fundamental questions, problems, and solutions encountered in the realm of language design and implementation. Topics include specification languages, models of computation, type systems, rewriting and program transformation, constraint programming, security models, optimization methods, internal representations, and compilation.

Courses for the Languages Concentration