College of Computer and Information Science
Programming Research Laboratory
We believe that writing computer programs is the fundamental act of computer science, and that programming languages are therefore our fundamental tool.
We seek a deeper understanding of this fundamental tool and how it should be used, and we seek to apply this understanding to the program design process, as well as to novel applications.
We take a multi-faceted approach to the study of programming languages and programming methodology, incorporating elements of design, mathematics, experimental science, and engineering.
We conduct research on all aspects of programming, including
- the development of small and large programs
- the design, implementation, and analysis of programming languages
- programming environment tools
Our research program is intertwined with our mission to train undergraduates and graduate students. We routinely exploit research results for our undergraduate courses, and we routinely find research challenges in our teaching. Some of the faculty and PhD students assist the TeachScheme! project, including Bootstrap, its middle school program.