Languages Concentration

Faculty: Haifeng 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, and (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 transformations, constraint programming, security models, optimization methods, internal representations, and compilation.

Concentration Courses - 12 Semester Hours

• CSCI 8430 — Trusted Systems: Design, Analysis, and Development
• CSCI 8666 — Automata, Computability, and Formal Languages
• CSCI 8706 — Compiler Construction
• CSCI 8760 — Formal Methods and High Assurance Software Engineering
• CSCI 9210 — Type Systems Behind Programming Languages
• CSCI 9220 — Rewriting and Program Transformation
• CSCI 9410 — Advanced Topics in Constraint Programming

Elective Courses - 3 Semester Hours

• Any other graduate-level computer science course

Students must take the following required courses for this concentration.

• CSCI 8000 — Advanced Concepts in Programming Languages
• CSCI 8080 — Design and Analysis of Algorithms
• CSCI 8700 — Software Specification and Design