Sean Kauffman

Registered user since Fri 31 Mar 2023

Name:Sean Kauffman
Country:Canada
Affiliation:Queen's University, Canada
Personal website: https://seanmk.com
Research interests:Runtime Verification, Anomaly Detection, Real-time Software, Functional Safety, Specification Mining

Contributions