Dr. Wendy MacCaull

Professor

Department of Mathematics, Statistics
and Computer Science

Email: wmaccaul@stfx.ca,wendy.maccaull@gmail.com

Phone: (902) 867-3989

FAX: (902) 867-1397

St. Francis Xavier University PO Box 5000,
Antigonish, NS, CANADA B2G 2W5

Check out the web page for thefor information & opportunities within my research group.
If you are interested in an undergraduate research for summer and/or honours theses, drop by my office and we can talk about your interests.
If you are interested in graduate studies at StFX in an area related to my research interests, please send me an e-mail before you apply, so we can discuss your interests and the funding opportunities. Also, read the information for the Masters of Science in Computer Science.

Teaching Specialties

Mathematical logic
Computational logic
Specification and verification

Research Interests

Model Checking
Ontologies
Workflow
Verification
Tableau-style proof systems
Description Logic
Nonclassical logics (temporal modal, multi-valued, substructural, intuitionistic, fuzzy, temporal)
Automated theorem proving
Relational semantics
Paraconsistent logics
Model-driven Engineering
High Performance Computing

Current University Activities:

StFX Computer Science Graduate Committee
StFX Center for Logic & Information Director

Conference Activities 2014:

General Chair, FHIES-SEHC 2014, Joint Conference: Foundation of Health Information Engineering and System - Software Engineering in Health Care.

Program Co-Chair (with Ellen Jaatun) , ICTH 2014, 4^th International Conference on Current and Future Trends of Information and Communication Technologies in Health Care.

Program Committee, Pro-Health 2014, 7^th International Workshop on Process-oriented Information Systems in Health Care.

Program Committee, PAHI 2014, 2^nd European Workshop on Practical Aspects of Health Information.

Program Committee, KR4HK 2014, 6^th International Workshop on Knowledge Representation for Health Care.

Program Committee, Ant-2014, 5^th International Conference on Ambient Systems, Networks and Technologies.

Conference Activities 2013:

Program Co-Chair (with Jeremy Gibbons) FHIES 2013 (Foundations of Health Information Engineering and Systems) Macau, China August, 2013

Program Committee, CSWC 2013 (Canadian Semantic Web Symposium) Montreal, Canada, July 2013

Program Committee, ISHIMR 2013 (International Symposium on Health Information Management Research) Halifax, Canada, June 2013

Program Committee, KR4HC & ProHealth, 2013, Murcia, Spain June 2013

Program Committee, SEASAME 2013 (International Workshop on Software Engineering for sAfety-critical Systems and Medical dEvices) Niagara Falls.