Faculty profile
Charlie Obimbo
Back to facultyResearch
Read how they describe their research on their University of Guelph profile.
Latest funding
- $55,000
Automated theorem prover based on t-priority resolutions, and its application
NSERC · 2003 · Principal investigator
No publications available.
Automated theorem prover based on t-priority resolutions, and its application
Principal investigators: Obimbo, Charlie
From public funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998 with their latest competition results, the Canada Foundation for Innovation, Genome Canada, the Canadian Space Agency, Canada Research Chairs, the Fonds de recherche du Québec, Ontario research funding, Michael Smith Health Research BC, the Canadian Cancer Society, Heart & Stroke and Brain Canada.
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 27, 2026 from the university directory, publication records and public research funding records.