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
Education
- Habilitation, University of the Federal Armed Forces, Munich, Germany, 2002
- Ph.D. (Dr. rer. nat.), University of the Federal Armed Forces, Munich, Germany, 1998
- Master of Computer Science (Dipl. Inform.), University of the Federal Armed Forces, Munich, Germany, 1993
Recent Publications
See list of publications on my personal homepage.
Recent M.Sc. Graduate Student Thesis
- Adjei, Evans: L-Fuzzy Structural Query Language. Brock University, 2013-2015
- Chowdhury, Abdul Wazed: An Abstract Algebraic Theory of L-Fuzzy Relations for Relational Databases. Brock University, 2013-2015
- Ghosh, Manas: Region Connection Calculus: Composition Tables and Extensional Models, 2011-2013
- Jackson, Ethan: Fuzzy Controller in Arrow Categories, 2012-2014
- Atampore, Francis Kwesi: A Library for Relations based on Heterogeneous OMDDs, Brock University, 2010-2012
- Das, Tuhin Kanti: A System for First-Order Dynamic Logic, Brock University, 2010-2012
- Lenarcic, Adam: Formalizing Affordances in Situation Theory, 2010-2011
- Mahmood, Shahid: Efficient Computation of Reducts in Rough Set based Data Mining, 2010-2011
- Abdalbari, Anwer: A System for Models of First-order Theories, 2009-2011
- Hossain, MD Nour: Equational Reasoning about Object-Oriented Programs, 2009-2011
- Sidavaatam, Prathap: Generating Relation Algebras for Qualitative Spatial Reasoning, 2009-2011
- Aameri, Bahar: Extending RelAPS to first-order logic, 2008-2010
- Zhang, Si: Generating finite integral Relation Algebras, 2008-2010
- Ahmed, Zafor: Computation and Visualization of Finite Relation Algebras, 2006-2009
- Foy, Grant: A new Object-Oriented Programming Language and Interactive Development Environment, 2006-2009
- Glanfield, Joel: Computational Aspects of the Theory of Allegories, 2006-2008
Current M.Sc. Graduate Student Thesis
- Chowdhury, Durjay: Approximation Algorithms using Allegories and Coq, 2015-2017
- Killingbeck, Dylan: A Generic Matrix Manipulator. Brock University, 2015-2016
