Michael Winter

Printer-friendly version

Michael Winter
Michael Winter
Office: J323
(905) 688-5550 ext. 3355
Personal Homepage
Categories
Research Interests
Education
Recent Publications
Recent M.Sc. Student Thesis
Current M.Sc. Student Thesis

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