Faculty profile
Sean Kauffman
Back to facultyThis profile is built from public research funding records (CIHR, NSERC and SSHRC). We have not imported them from a Queen's University directory, so their publications, courses and email address may be missing. Find their university profile.
Research
Latest funding
- $40,000
Proving the Safety of an Automotive Operating System
NSERC · 2025 · Principal investigator
- $12,500
Trustworthy Resource-Constrained Monitoring for Remote Safety-Critical Systems
NSERC · 2024 · Principal investigator
- $41,000
Trustworthy Resource-Constrained Monitoring for Remote Safety-Critical Systems
NSERC · 2024 · Principal investigator
Proving the Safety of an Automotive Operating System
Principal investigators: Kauffman, Sean
Keywords: Transport equipment; Information, computer and communication technologies
Trustworthy Resource-Constrained Monitoring for Remote Safety-Critical Systems
Principal investigators: Kauffman, Sean
Keywords: runtime verification; safety-critical systems; formal methods; monitoring; cyber-physical systems; remote debugging; log analysis; automata theory; embedded computing; programming languages
Trustworthy Resource-Constrained Monitoring for Remote Safety-Critical Systems
Principal investigators: Kauffman, Sean
Keywords: runtime verification; safety-critical systems; formal methods; monitoring; cyber-physical systems; remote debugging; log analysis; automata theory; embedded computing; programming languages
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.