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:
- 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.
|