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

  • 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

  • Ghosh, Manas: Region Connection Calculus: Composition Tables and Extensional Models, 2011-2013
  • Jackson, Ethan: Fuzzy Controller in Arrow Categories, 2012-2014