Faculty profile
Noah Fleming
Back to facultyThis profile is built from public research funding records (CIHR, NSERC and SSHRC). We have not imported them from a Memorial University of Newfoundland directory, so their publications, courses and email address may be missing. Find their university profile.
Research
Latest funding
- $12,500
Proofs, Circuits, and Total Functions
NSERC · 2023 · Principal investigator
- $82,000
Proofs, Circuits, and Total Functions
NSERC · 2023 · Principal investigator
Proofs, Circuits, and Total Functions
Principal investigators: Fleming, Noah
Proofs, Circuits, and Total Functions
Principal investigators: Fleming, Noah
Keywords: computational complexity; propositional proof complexity; circuit complexity; tfnp; lower bounds; tradeoffs; hardness escalation theorems; interpolation theorems; lifting theorems; communication complexity
From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.
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.