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

Simone Campanoni

Associate Professor of Computer Science and (by courtesy) Electrical and Computer Engineering

Email Simone Campanoni

Christos Dimoulas

Assistant Professor of Computer Science

Email Christos Dimoulas

Robby Findler

Professor of Computer Science

Email Robby Findler

Eleanor O'Rourke

Associate Professor of Computer Science

Associate Professor of Education and Social Policy

Email Eleanor O'Rourke

Vincent St-Amour

Associate Professor of Instruction

Email Vincent St-Amour