Research
  /  
Research Areas
Programming Languages

Programming Languages is the study of how to express computations in written form. Broadly it consists of three interrelated questions:
- What is the semantics (meaning) of a particular piece of a program and does that relate to the parts around it)?
- How can programs be executed efficiently?
- How do we design languages that help people express their intent
accurately (without errors)?

Faculty

Photo of Simone Campanoni

Simone Campanoni

Assistant Professor of Computer Science

Email Simone Campanoni

Photo of Christos Dimoulas

Christos Dimoulas

Assistant Professor of Computer Science

Email Christos Dimoulas

Photo of Robby Findler

Robby Findler

Professor of Computer Science

Email Robby Findler

Photo of Eleanor O'Rourke

Eleanor O'Rourke

Assistant Professor of Computer Science

Assistant Professor of Education and Social Policy

June and Donald Brewer Junior Professor

Email Eleanor O'Rourke

Photo of Vincent St-Amour

Vincent St-Amour

Assistant Professor of Instruction

Email Vincent St-Amour

Photo of Jesse Tov

Jesse Tov

Assistant Professor of Instruction

Email Jesse Tov