Programming Languages

Programming languages is a fundamental area that is concerned with the design, implementation, and use of programming languages. Some of the topics faculty and students in these areas explore include the following:

• Compilers
• Language design
• Logic Programming
• Optimization
• Program analysis
• Program transformation
• Software engineering
• Type theory

Core Faculty

Omar Chowdhury

View Profile

Robert F. Kelly

View Profile

Christopher Kane

View Profile

Dongyoon Lee

View Profile

Y. Annie Liu

View Profile

Abid M. Malik

Richard McKenna

View Profile

C.R. Ramakrishnan

View Profile

R. Sekar

View Profile