从普林斯顿形成研究方向
丘奇于1927年在普林斯顿大学取得博士学位，导师是奥斯瓦尔德·维布伦。经过研究访问，他于1929年回到普林斯顿任教，把工作逐渐集中于逻辑、形式系统与有效可计算性。这里的研究并非直接改造某种电子设备，而是为怎样严格描述推理和计算建立数学基础。
参考：[1]
λ演算与可计算性的表达
丘奇在1930年代发展λ演算，用函数抽象与应用描述计算，并于1941年出版《λ转换演算》。这套形式语言把变量、代入和函数操作放在明确规则之下，后来成为研究程序语义与函数式语言的重要工具。它提供的是可分析的计算模型，不要求程序必须采用现实机器的指令格式。
参考：[1]
不可判定性与丘奇论题
1936年，丘奇发表不可解性研究，并证明一阶逻辑的判定问题没有普遍适用的有效方法。丘奇论题则把直观的有效计算与形式化的可计算函数联系起来；它与某个形式系统内部已经证明的定理有不同地位。图灵后来在他指导下研究，其机器模型与其他计算形式的比较使这一问题更清晰。
参考：[1]
教学、书籍与逻辑文献
丘奇的学生包括克莱尼、罗斯瑟与图灵；教学和著述把逻辑研究继续传给后来的研究者。他参与创办《符号逻辑杂志》，长期负责评论部分，整理和评述不断增长的文献。1967年他转到加州大学洛杉矶分校，任教至1990年；其论文、书信与未刊材料后来也被汇编出版。