Research
  /  
Research Areas
Programming Languages

In Programming Languages research, we explore the ways in which computations are expressed in written form. Our research focuses on three central ideas: the semantics of a particular piece of program and its relationships with surrounding parts, the efficiency of a program's execution, and the design of programming languages that enable people to express their ideas accurately.

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

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