Computer Laboratory

Cambridge Programming Research Group

The Cambridge Programming Reserarch 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 is also an email list cl-cprg-announce[AT], where external talks of interest are announced; please sign up for this at