Computer Laboratory > Cambridge Programming Research Group

 

Introduction

The Cambridge Programming Research Group is interested in ideas around the general theme of implementing algorithms efficiently, reliably and in manner likely to permit further development. This explicitly includes research relating to: programming language design, compilers, interpreters, virtual machines, portable target codes, program analysis, program transformations and optimisation. Other related topics include: fast typical-case solutions to NP problems, algebraic manipulation by computer and compiler/hardware trade offs.