Tableau-style proof systems
High Performance Computing
Nonclassical logics (modal, multi-valued, substructural, intuitionistic, fuzzy)
Automated theorem proving
Towards a Hospice Palliative Care Minimum Data Set: Clinical, Research and Policy Implications Workshop 2009
Technology and Palliative Care: Social, Cultural, Ethical, and Technical Implications in a Rural Setting Workshop 2008
RelMiCS 8 Relational Mathods in Computer Science 2005 (Organizers: Duentsch, MacCaull, Winter)
International Seminar in Multi-Valued Logic 2004 (Program Committee)
Check out the web page for the Center for Logic and Information, my research group at StFX.
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.