Philip Scott, University of Ottawa

Research

Read how they describe their research on their University of Ottawa profile.

Latest funding

Studies in many-valued logics, partial traces, and computability
NSERC · 2018 · Principal investigator
$138,000
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
NSERC · 2011 · Principal investigator
$145,000
Polarized logics, geometry of proofs, and semantics of computation
NSERC · 2006 · Principal investigator
$170,000

All 9 grants and awards

No publications available.

Studies in many-valued logics, partial traces, and computability

Principal investigatorNSERC2018Discovery Grants Program - Individual

Principal investigators: Scott, Philip

Keywords: Categorical logic in Computer Science; Complexity and computability theory; Formal Methods in Coq; Inverse Semigroups; Linear Logic; MV and Effect Algebras; Non-Commutative Stone Duality; Probabilistic/quantum Logics; Traced Monoidal Categories; Turing Categories

$138,000

Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation

Principal investigatorNSERC2011Discovery Grants Program - Individual

Principal investigators: Scott, Philip

$145,000

Polarized logics, geometry of proofs, and semantics of computation

Principal investigatorNSERC2006Discovery Grants Program - Individual

Principal investigators: Scott, Philip

$170,000

Logic complexity and interaction

Principal investigatorNSERC2001Discovery Grants Program - Individual

Principal investigators: Scott, Philip

$185,000

Linear logic and proof theory in the semantics of programming languages; visit at the University of Cambridge, Isaac Newton Institute for Mathematical Sciences, Cambridge, U.K.

Principal investigatorNSERC1995Bilateral Exchange Program (H)

Principal investigators: Scott, Philip

$1,217

Proof theory, foundations of concurrency, and information flow

Principal investigatorNSERC1995Discovery Grants Program - Individual

Principal investigators: Scott, Philip

$173,712

Proof theory applied to concurrency, complexity, and rewriting

Principal investigatorNSERC1992Discovery Grants Program - Individual

Principal investigators: Scott, Philip

$69,000

Categorical logic and proof theory in mathematical foundations of computing

Principal investigatorNSERC1990Discovery Grants Program - Individual

Principal investigators: Scott, Philip

$15,221

Categorical logic in the mathematical design of programming languages;visits to various institutions in the United Kingdom

Principal investigatorNSERC1990Bilateral Exchange Program (H)

Principal investigators: Scott, Philip

$1,539

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

Subject: Prospective PhD student Dear Professor Scott, 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 connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] 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]