Michael Winter

Professor

905 688 5550 x3355
mwinter@brocku.ca

Personal website

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

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

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