Research
Read how they describe their research on their Bishop's University profile.
Latest funding
- $75,000
A unified approach to real-time specification, verification, and analysis: finite models and beyond
NSERC · 2008 · Principal investigator
- $52,000
Real time: from applications to theory and back
NSERC · 2003 · Principal investigator
No publications available.
A unified approach to real-time specification, verification, and analysis: finite models and beyond
Principal investigators: Bruda, Stefan
Real time: from applications to theory and back
Principal investigators: Bruda, Stefan
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.