Skip to content

XeraLinkfaculty finder

Home Faculty Universities Countries AI match

Sign in Get started

Directory

Faculty directory

Try AI matching

Search McMaster faculty by research topic, method or name, then narrow down by faculty, role and research activity.

Filters

Loading faculty…

XeraLink

Find a research supervisor or collaborator by what they actually work on. Starting with McMaster University, with more universities on the way.

Explore

Universities
Faculty
Countries
AI Assistant

Account

Login
Sign Up
Dashboard

Resources

About and help
FAQ
Contact

Legal

Privacy Policy
Terms of Service
Cookie Policy

© 2026 XeraLink. All rights reserved.Made with for researchers worldwide

Activity

Published in the last 3 years Teaches graduate courses Has research grants

Role

Professors7 Clinical faculty0 Adjunct, part-time and visiting6 Research and leadership roles0

Faculty

Department

Computing and Software7

Research area

Formal Methods in Verification Cardiac, Anesthesia and Surgical Outcomes57 Innovations in Medical Education56 Palliative Care and End-of-Life Issues53 Atrial Fibrillation Management and Outcomes52

Showing 7 of 7 faculty members

SortMost active Most cited Name

Mark Lawford

Professor, Computing and Software

Faculty of Engineering

Formal Methods in VerificationSafety Systems Engineering in AutonomySoftware Reliability and Analysis Research

177 publications

Activity

Published in the last 3 years Teaches graduate courses Has research grants

Role

Meta-analysis and systematic reviews

49

Venous Thromboembolism Diagnosis and Management46

Health Systems, Economic Evaluations, Quality of Life40

Asthma and respiratory diseases39

Respiratory Support and Mechanisms36

Sepsis Diagnosis and Treatment36

Acute Myocardial Infarction Research34

Health Policy Implementation Science34

(40 in 5 years)

h-index 19

Latest paper 2027

Teaches graduate courses

15 grants

Ryszard Janicki

Professor, Computing and Software

Faculty of Engineering

Formal Methods in VerificationPetri Nets in System ModelingLogic, programming, and type systems

257 publications(31 in 5 years)h-index 18Latest paper 2026 Teaches graduate courses 11 grants

Jacques Carette

Professor, Computing and Software

Faculty of Engineering

Logic, programming, and type systemsComputability, Logic, AI AlgorithmsLogic, Reasoning, and Knowledge

141 publications(26 in 5 years)h-index 15Latest paper 2026 Teaches graduate courses 13 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

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

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

William Michael Farmer

Professor, Computing and Software

Faculty of Engineering

Logic, programming, and type systemsLogic, Reasoning, and KnowledgeComputability, Logic, AI Algorithms

140 publications(2 in 5 years)h-index 14Latest paper 2025 Teaches graduate courses 5 grants

Clinical faculty

0

Adjunct, part-time and visiting6

Research and leadership roles0

Faculty

Department

Computing and Software7

Research area

Formal Methods in Verification Cardiac, Anesthesia and Surgical Outcomes57 Innovations in Medical Education56 Palliative Care and End-of-Life Issues53 Atrial Fibrillation Management and Outcomes52 Meta-analysis and systematic reviews49 Venous Thromboembolism Diagnosis and Management46 Health Systems, Economic Evaluations, Quality of Life40 Asthma and respiratory diseases39 Respiratory Support and Mechanisms36 Sepsis Diagnosis and Treatment36 Acute Myocardial Infarction Research34 Health Policy Implementation Science34