RESEARCH AREAS

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

Affiliated Faculty

Labs