Faculty profile
Pieter Hofstra
Back to facultyResearch
Read how they describe their research on their University of Ottawa profile.
Latest funding
- $85,000
Categories, Models, Computation
NSERC · 2015 · Principal investigator
- $50,000
The category of realizability toposes
NSERC · 2007 · Principal investigator
No publications available.
Categories, Models, Computation
Principal investigators: Hofstra, Pieter
The category of realizability toposes
Principal investigators: Hofstra, Pieter
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.
Profile data last refreshed on September 26, 2026 from the university directory, publication records and CIHR, NSERC and SSHRC funding.