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

• Glanfield, Joel: Computational Aspects of the Theory of Allegories. Brock University, 2006-2008

Current M.Sc. Graduate Student Thesis

• Foy, Grant: A new Object-Oriented Programming Language and Interactive Development Environment. Brock University, 2006-2009
• Ahmed, Zafor: Computation and Visualization of Finite Relation Algebras. Brock University, 2006-2009
• Aameri, Bahar: Extending RelAPS to first-order logic, 2008-2010
• Zhang, Si: Generating finite integral Relation Algebras, 2008-2010