معرفی
Michael Winter is a Professor in the Department of Computer Science at Brock University, Canada. He holds a Habilitation from the University of the Federal Armed Forces, Munich (2002), a Ph.D. (Dr. rer. nat.) from the same institution (1998), and a Master of Computer Science (Dipl. Inform.) (1993). His research focuses on programming languages, semantics, program verification, relational methods, category theory, and fuzzy logic. He is the Managing Editor of the Journal on Relational Methods in Computer Science.
Winter's academic roles include teaching courses such as COSC 2P05 (Programming Languages), COSC 3P91 (Advanced Object-Oriented Programming), and COSC 5P02 (Logic in Computer Science). He has advised numerous graduate and undergraduate students on topics including fuzzy relational analysis, program verification, and formal methods. His research contributions span over 100 publications in journals and conferences, emphasizing relational algebra, category theory, and their applications in computer science.
His work integrates theoretical foundations with practical applications, such as developing tools like RelView for relational computation and exploring applications in ambient intelligence and data visualization. Winter collaborates internationally, contributing to conferences like RAMiCS and publishing in journals like Fuzzy Sets and Systems and Journal of Logical and Algebraic Methods in Programming.
