Richard Zach, University of Calgary

Research

logic automated theorem proving computer science education lambda calculus non-monotonic reasoning proof theory type systems philosophy of computer science

Latest funding

Proof Theory and Logic in Computer Science
NSERC · 2023 · Principal investigator
$32,350
Toward a Philosophy of Programming Languages
SSHRC · 2020 · Principal investigator
$45,378
The collected works of Rudolf Carnap - Phase II
SSHRC · 2012 · Principal investigator
$133,680

All 8 grants and awards

Proof Theory and Logic in Computer Science

Principal investigatorNSERC2023Discovery Grants Program - Individual

Principal investigators: Zach, Richard

Keywords: automated theorem proving; computer science education; lambda calculus; logic; non-monotonic reasoning; proof theory; type systems

$32,350

Toward a Philosophy of Programming Languages

Principal investigatorSSHRC2020Insight Development Grant

Principal investigators: Zach, Richard

Keywords: philosophy of computer science; programming languages; information security; philosophy; logic; philosophy of mathematics

$45,378

The collected works of Rudolf Carnap - Phase II

Principal investigatorSSHRC2012Insight Grants

Principal investigators: Zach, Richard

Keywords: analytic philosophy; history of philosophy; Rudolf Carnap; Vienna Circle

$133,680

The collected works of Rudolf Carnap

Principal investigatorSSHRC2008Standard Research Grants

Principal investigators: Zach, Richard

Keywords: analytic philosophy; history of philosophy; Rudolf Carnap; Vienna circle

$64,900

Computational aspects of the epsilon calculus

Principal investigatorNSERC2007Discovery Grants Program - Individual

Principal investigators: Zach, Richard

$70,000

The history of logical metatheory 1900-1940

Principal investigatorSSHRC2004Standard Research Grants

Principal investigators: Zach, Richard

Keywords: history of logic; philosophy of logic; philosophy of mathematics

$68,200

GËdel logics: foundations and applications to computer science

Principal investigatorNSERC2004Discovery Grants Program - Individual

Principal investigators: Zach, Richard

$39,000

Gödel logics: foundations and applications to computer science

Principal investigatorNSERC2003Discovery Grants Program - Individual

Principal investigators: Zach, Richard

$9,500

From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Mention their NSERC grant from 2023

Subject: Prospective PhD student: logic Dear Professor Zach, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. Your research on logic connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] I also saw your NSERC-funded project "Proof Theory and Logic in Computer Science" (2023), and I would be glad to contribute to work in that direction. Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]