This profile is built from public research funding records (CIHR, NSERC and SSHRC). We have not imported them from a McGill University directory, so their publications, courses and email address may be missing. Find their university profile.
Research
Latest funding
- $184,000
Towards a Unified Theory of Proof and Circuit Complexity
NSERC · 2021 · Principal investigator
- $120,000
Towards a Unified Theory of Proof and Circuit Complexity
NSERC · 2021 · Principal investigator
- $12,500
Towards a Unified Theory of Proof and Circuit Complexity
NSERC · 2021 · Principal investigator
Towards a Unified Theory of Proof and Circuit Complexity
Principal investigators: Robere, Robert
Keywords: boolean circuits; propositional proof complexity; communication complexity; lower bounds; linear programming
Towards a Unified Theory of Proof and Circuit Complexity
Principal investigators: Robere, Robert
Towards a Unified Theory of Proof and Circuit Complexity
Principal investigators: Robere, Robert
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.