Research Interests

Fundamentals of programming languages
- Semantics of programming languages
- Program verification
- Program development
Relational methods in computer science and mathematics
- Theory of relational structures (Allegories, Dedekind/Schröder categories, Relation Algebras)
- Theory of fuzzy relations
- Relational models of processes
- Qualitative spatial reasoning
Mathematical Logic and Category Theory

The RelAPS system that has been developed under my supervision can be found here.

Publications

Your browser must support XML and XSLT to display the publication list properly.

Teaching

Fall 2012
- COSC 5P02 - Logic in Computer Science
Winter 2013
- COSC 4P42 - Formal Methods in Software Engineering
Fall/Winter 2012/13
- IASC 4F00 - Team-based Practicum in Interactive Media Design and Production

Current/Recent Student Projects

Jackson, Ethan: Fuzzy Controller in Arrow Categories, 2012-2014 (M.Sc. Thesis)
Ghosh, Manas: Region Connection Calculus: Composition Tables and Extensional Models, 2011-2013 (M.Sc. Thesis)
Atampore, Francis Kwesi: A Library for Relations based on Heterogeneous OMDDs, Brock University, 2010-2012 (M.Sc. Thesis)
Das, Tuhin Kanti: A System for First-Order Dynamic Logic, Brock University, 2010-2012 (M.Sc. Thesis)
Pascuzzi, Vince: Simulating Quantum Computing in Haskell. Brock University, 2012 (COSC 3P99)
Stinson, Christopher: Operation Olympic - A history simulation, Brock University, 2012 (COSC 4F90)
Bond, Ron: Translation of first-order properties into relational equations, Brock University, 2011-2012 (COSC 3P99)
Jackson, Ethan: An UNITY Interpreter suitable for Genetic Programming, Brock University, 2011-2012 (COSC 4F90)
Lenarcic, Adam: Formalizing Affordances in Situation Theory, 2010-2011 (M.Sc. Thesis)
Mahmood, Shahid: Efficient Computation of Reducts in Rough Set based Data Mining, 2010-2011 (M.Sc. Thesis)
Abdalbari, Anwer: A System for Models of First-order Theories, 2009-2011 (M.Sc. Thesis)
Hossain, MD Nour: Equational Reasoning about Object-Oriented Programs, 2009-2011 (M.Sc. Thesis)
Sidavaatam, Prathap: Generating Relation Algebras for Qualitative Spatial Reasoning, 2009-2011 (M.Sc. Thesis)
Aameri, Bahar: Extending RelAPS to first-order logic, 2008-2010 (M.Sc. Thesis)
Zhang, Si: Generating finite integral Relation Algebras, 2008-2010 (M.Sc. Thesis)
Glanfield, Joel: Computational Aspects of the Theory of Allegories. Brock University, 2006-2008 (M.Sc. Thesis)
Foy, Grant: A new Object-Oriented Programming Language and Interactive Development Environment. Brock University, 2006-2009 (M.Sc. Thesis)
Ahmed, Zafor: Computation and Visualization of Finite Relation Algebras. Brock University, 2006-2009 (M.Sc. Thesis)
Dalcourt, Greg: The Reference Manager. Brock University, 2008 (COSC 3P99)
Zhang, Si: XML Serialization. Brock University 2007-2008 (COSC 3P99)
Griffiths, Bryan: Rulebased Emergent Behavior. Brock University, 2006-2007 (COSC 4F90)
Skacal, Michael: Comparison of rulebased real-time Warfare Simulations. Brock University, 2006-2007 (COSC 4F90)