Name:Sean Kauffman

Country:Canada

Affiliation:Queen's University, Canada

Research interests:Runtime Verification, Anomaly Detection, Real-time Software, Functional Safety, Specification Mining