Directory
Faculty directory
Try AI matchingSearch McMaster faculty by research topic, method or name, then narrow down by faculty, role and research activity.
Finding and ranking the best matches…
Showing 4 of 4 faculty members matching “McMaster University”
Emil Sekerinski
Professor, Computing and Software
Faculty of Engineering
Formal Methods in VerificationLogic, programming, and type systemsAdvanced Software Engineering Methodologies
173 publications(23 in 5 years)h-index 14Latest paper 2026 Teaches graduate courses 7 grants
Mark Lawford
Professor, Computing and Software
Faculty of Engineering
Formal Methods in VerificationSafety Systems Engineering in AutonomySoftware Reliability and Analysis Research
177 publications(40 in 5 years)h-index 19Latest paper 2027 Teaches graduate courses 15 grants
Martin George Von Mohrenschildt
Associate Professor, Computing and Software
Faculty of Engineering
Formal Methods in VerificationVisual perception and processing mechanismsLogic, programming, and type systems
54 publications(20 in 5 years)h-index 10Latest paper 2026 Teaches graduate courses 6 grants
Alan Wassyng
Professor, Computing and Software
Faculty of Engineering
Safety Systems Engineering in AutonomySoftware Reliability and Analysis ResearchFormal Methods in Verification
129 publications(23 in 5 years)h-index 13Latest paper 2027 Teaches graduate courses 12 grants