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 CIHR grants

Role

Professors6 Clinical faculty0 Adjunct, part-time and visiting2 Emeritus3 Research and leadership roles0

Faculty

Department

Computing and Software6

Research area

Formal Methods in Verification9 Advanced Software Engineering Methodologies7 Logic, programming, and type systems6 Software Engineering Research6 Privacy-Preserving Technologies in Data

Activity

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

Role

5

Model-Driven Software Engineering Techniques4

Distributed systems and fault tolerance3

Logic, Reasoning, and Knowledge3

Semantic Web and Ontologies3

Software Reliability and Analysis Research3

AI in cancer detection2

Advanced Database Systems and Queries2

Clinical faculty

0

Adjunct, part-time and visiting2

Research and leadership roles0

Faculty

Department

Computing and Software6

Research area

Formal Methods in Verification9 Advanced Software Engineering Methodologies7 Logic, programming, and type systems6 Software Engineering Research6 Privacy-Preserving Technologies in Data5 Model-Driven Software Engineering Techniques4 Distributed systems and fault tolerance3 Logic, Reasoning, and Knowledge3 Semantic Web and Ontologies3 Software Reliability and Analysis Research3 AI in cancer detection2 Advanced Database Systems and Queries2

Showing 6 of 6 faculty members

SortMost active Most cited Name

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 18

Latest paper 2026

Teaches graduate courses

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

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

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

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

Wolfram Kahl

Professor, Computing and Software

Faculty of Engineering

Logic, programming, and type systemsModel-Driven Software Engineering TechniquesLogic, Reasoning, and Knowledge

146 publicationsh-index 9Latest paper 2021 Teaches graduate courses