Faculty profile
Andre Trudel
Back to facultyResearch
Read how they describe their research on their Acadia University profile.
Latest funding
- $75,000
Temporal knowledge formalization and reasoning
NSERC · 2006 · Principal investigator
- $60,000
Temporal first order logics
NSERC · 2001 · Principal investigator
- $29,400
Point based spatio-temporal logics
NSERC · 1999 · Principal investigator
No publications available.
Temporal knowledge formalization and reasoning
Principal investigators: Trudel, Andre
Temporal first order logics
Principal investigators: Trudel, Andre
Point based spatio-temporal logics
Principal investigators: Trudel, Andre
Hardware and software for the implementation of temporal reasoning systems
Principal investigators: Trudel, Andre
Representing and reasoning about a dynamic world
Principal investigators: Trudel, Andre
Implementing GCH
Principal investigators: Trudel, Andre
Temporal representation and reasoning
Principal investigators: Trudel, Andre
Representing and reasoning about a dynamic world
Principal investigators: Trudel, Andre
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 29, 2026 from the university directory, publication records and public research funding records.