The Church Project

The Church Project investigates the foundations, design principles and implementation techniques of programming languages and related systems. The overall goal is the development of software technology that has superior performance, reliability, and usability. The project is named in honor of Alonzo Church, the inventor of the lambda calculus.

Current Focus and Participation

The following major research efforts (supported by various funding bodies including EC, EPSRC, and NSF) are presently undertaken by project participants: Active participants include faculty members, research associates and post-doctoral fellows, graduate and undergraduate students in computer science. The list of participants gives more details as well as links. New participants with time to work on any of the project's activities are welcome. For more information, send an e-mail to any of the active participants.


Past Seminars

Year-round semi-regular seminars have been held in the Boston area as the main forum for participants and visitors to present recent results, work in progress, position papers, and papers of general interest related to the overall goal of the project. Project participants have organized occasional one-semester seminars devoted to specific topics of interest:

Sponsor: Work undertaken under the Church Project has been partially supported by National Science Foundation grants no. CCR-0113193 and no. CNS-0202067. Any opinions, findings, and conclusions or recommendations expressed in this work are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.
This website was recently updated. If you are a current or former member and see something missing, please contact lapets at