Computer Laboratory

Cambridge Programming Research Group

The Cambridge Programming Research Group is a sub-group of the Programming, Logic, and Semantics group at the Computer Laboratory. Research in the CPRG is primarily in the areas of programming languages, compilers, and analysis, attempting to bridge the gap between theory and application.

More details about group members are found on the the PLS people page,

There are sporadic CPRG seminars; this page contains a link to subscribe and to receive email notifications.

There was previously an email list cl-cprg-announce for the group, but this has been subsumed into the list cl-theory; please sign up for this at