Group: StFX Centre for Logic and Information

The StFX Centre for Logic and Information, established in 2007, supports research in modeling and reasoning about complex and distributed processes. The applications of this research are directed to the development of innovative software for verifiable, dynamic, adaptive software for process management, information exchange and data integration. Our research interests include such topics as verification, both model checking and automated theorem proving, tableaux methods, proof theory, nonclassical logics (temporal, modal, paraconsistent and others), logic programming, ontology building and merging, knowledge representation and reasoning, model driven architecture, parallel and high performance computing methodology.