Dr. Wendy MacCaull


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, 4th International Conference on Current and Future Trends of Information and Communication Technologies in Health Care.
  • Program Committee, Pro-Health 2014, 7th International Workshop on Process-oriented Information Systems in Health Care.
  • Program Committee, PAHI 2014, 2nd European Workshop on Practical Aspects of Health Information.
  • Program Committee, KR4HK 2014, 6th International Workshop on Knowledge Representation for Health Care.
  • Program Committee, Ant-2014, 5th International Conference on Ambient Systems, Networks and Technologies.

Conference Activities 2013:

Last Updated: January 2014