معرفی
Wendy MacCaull is an Adjunct Professor in the Department of Computing and Software at McMaster University's Faculty of Engineering. Her scholarly activity focuses on formal methods for healthcare workflow verification, ontology reasoning, and temporal logic applications in process mining.
- Role: Adjunct Professor
- Institution: McMaster University
- Department: Computing and Software
- Research Interests: Workflow Verification, Ontology Reasoning, Healthcare Process Mining
Her work bridges formal logic and healthcare IT, with publications on compensable workflows, timed BDI CTL logic verification, and ontology merging for clinical systems. She has contributed to Journal of Symbolic Logic, Lecture Notes in Computer Science, and IEEE Transactions on Knowledge and Data Engineering.
Recent trends include contextual process mining (2024) and multi-context reasoning architectures (2023). Earlier works (2008-2012) explored non-classical logics, residuated logic models, and Kripke semantics.
