The overall aim of my research is to find better ways of creating software. I am interested in (agent oriented) software engineering, programming languages, and logic and formal methods.
Please see my Publications and students for details.
I have written a range of software including: W-Prolog, Lygon, and SmartGuide.
In accordance with RMIT's Electronic Communications Policy this web site and its contents are the responsibility of Michael Winikoff. The content is not authorised by and does not necessarily reflect the views of the University.