Accessibility Skip to Global Navigation Skip to Local Navigation Skip to Content Skip to Search Skip to Site Map Menu

Michael Winikoff

AmusA(AMEB), BSc-Hons(Melbourne), PhD(Melbourne)Michael Winikoff

Position: Head of Department
Room: 11.07, Commerce
Phone: +64 3 479 8386
Email: michael.winikoff@otago.ac.nz
Co-supervising: Manjula Devananda
@profwinikoff

Related papers: BSNS106, INFO407

About

I joined the Department of Information Science in September 2009, and was Head of Department from February 2011 to December 2016. Earlier in 2009 (since September 2008) I worked at the university's Higher Education Development Centre, and before that was Associate Professor at RMIT University's School of Computer Science and IT.

Contacting Me:

  • I am on sabbatical for the first part of 2017. Professor Holger Regenbrecht has taken over as Head of Department. 
  • Email is preferred in the first instance - I generally respond to email promptly.
  • Please email Heather to schedule a meeting with me. In general I use afternoons for meetings and mornings for teaching preparation and research.
  • If you need to contact me urgently (i.e. it can't wait for a few hours), then Stephen has my mobile number.
  • Finally, if I have a "do not disturb" sign on my door, please respect it and do not interrupt. I need some time to prepare teaching materials and to do research. Thank you!

^ Top of page

Teaching

In 2017 I am on sabbatical for most of the year, so will not be coordinating any papers (although I will be doing some teaching once I'm back)

In 2016 I was involved in BSNS106.

In 2014 and 2015 I was involved in BSNS106.

In 2013 I was involved in BSNS106 (INFO390 and INFO407 [formerly SENG407] did not run).

In 2012 I was involved in BSNS106 ("Information and Communication in Organisations", our big core first year paper), and coordinated SENG407.

In 2010 and 2011 I was involved in the following papers: BSNS106, COMP111, TELE303, and SENG407 (password protected wiki).

I spent September 2008-August 2009 working with Educational Media at the Higher Education Development Centre of the University of Otago, looking at applications of technology in teaching and learning.

^ Top of page

Research

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.

Over the past decade and a half I have focussed on software that is conceptualised in terms of "intelligent agents" which are able to exhibit robust and flexible behaviour. This approach has attracted interest since it is able to operate successfully in environments that are failure prone and highly dynamic. There are a number of successful applications, and a number of companies that specialise in this area.

My work, which mostly falls within the area of Agent-Oriented Software Engineering, has made significant contributions in a number of areas:

  • Concepts for designing agent software including the crucial role that is played by goals and how (and why) they should be explicitly represented in agent systems.
  • Design methodologies for agent-based systems, in particular the Prometheus methodology.
  • Techniques for designing and implementing flexible and robust interactions between agents, including both goal-based techniques and techniques based on commitment machines.
  • Techniques for debugging and for software maintenance of agent systems.
  • Agent-oriented programming languages.
  • Applying social expectations to monitoring interactions (which can be software-software, software-humans, or computer-mediated human-human interaction).

I am a member of SECML here at the University of Otago, and a former member of the RMIT Agent group. My Erdös number is 3. See also my google scholar entry and my DBLP page.

^ Top of page

Leadership

I was Head of Department (February 2011 - December 2016) of the department of Information Science.

I represent the division of commerce on the university's Information Technology Advisory Committee (ITAC), am on the Academic Leadership Advisory Group, and on the Academic Advisory Group for the Support Services Review.

From September 2010 - February 2011 I was Associate Dean (Postgraduate) in the School of Business, and, in this capacity, chair of the School's Postgraduate Advisory Group, and member of various committees.

^ Top of page

Software

I have written a range of software including W-Prolog, Lygon, auml.pl, SmartGuide, and a range of palm pilot software including Karel the robot

I used to maintain a list of alternatives to C for programming PalmPilots but with fatherhood I've had less time for "geek toys" ...

^ Top of page

Music

"I would teach children music, physics and philosophy; but more importantly music, for in the patterns of music and the arts are the keys to learning." (Plato)

I am a keen musician: I play piano, sing in choirs, sometimes conduct choirs, and have been known to compose on occasion.

^ Top of page

Publications

Winikoff, M. (2017). BDI agent testability revisited. Autonomous Agent & Multi-Agent Systems, 31(5), 1094-1132. doi: 10.1007/s10458-016-9356-2

Abushark, Y., Miller, T., Thangarajah, J., Winikoff, M., & Harland, J. (2017). Requirements specification via activity diagrams for agent-based systems. Autonomous Agent & Multi-Agent Systems, 31(3), 423-468. doi: 10.1007/s10458-016-9327-7

Dam, H. K., Egyed, A., Winikoff, M., Reder, A., & Lopez-Herrejon, R. E. (2016). Consistent merging of model versions. Journal of Systems & Software, 112, 137-155. doi: 10.1016/j.jss.2015.06.044

Günay, A., Winikoff, M., & Yolum, P. (2015). Dynamically generated commitment protocols in open systems. Autonomous Agent & Multi-Agent Systems, 29(2), 192-229. doi: 10.1007/s10458-014-9251-7

Winikoff, M., & Cranefield, S. (2014). On the testability of BDI agent systems. Journal of Artificial Intelligence Research, 51, 71-131. doi: 10.1613/jair.4458

Edited Book - Research

Cossentino, M., El Fallah Seghrouchni, A., & Winikoff, M. (Eds.). (2013). Engineering multi-agent systems: Lecture notes in computer science (Vol. 8245). Heidelberg, Germany: Springer, 391p. doi: 10.1007/978-3-642-45343-4

Sakama, C., Sardina, S., Vasconcelos, W., & Winikoff, M. (Eds.). (2012). Declarative agent languages and technologies IX: Lecture notes in artificial intelligence (Vol. 7169). Berlin, Germany: Springer, 153p. doi: 10.1007/978-3-642-29113-5

Baldoni, M., Son, T. C., van Riemsdijk, M. B., & Winikoff, M. (Eds.). (2009). Declarative agent languages and technologies VI: Lecture notes in artificial intelligence (Vol. 5397). Berlin, Germany: Springer, 250p.

^ Top of page

Chapter in Book - Research

Padgham, L., Thangarajah, J., & Winikoff, M. (2014). Prometheus research directions. In O. Shehory & A. Sturm (Eds.), Agent-oriented software engineering: Reflections on architectures, methodologies, languages and frameworks. (pp. 155-171). Berlin, Germany: Springer. doi: 10.1007/978-3-642-54432-3_8

Winikoff, M., & Padgham, L. (2013). Agent oriented software engineering. In G. Weiss (Ed.), Multiagent Systems. (2nd ed.) (pp. 695-757). Cambridge, MA: MIT Press.

Winikoff, M. (2010). Assurance of agent systems: What role should formal verification play? In M. Dastani, K. V. Hindriks & J.-J. C. Meyer (Eds.), Specification and verification of multi-agent systems. (pp. 353-383). New York: Springer Science+Business Media. doi: 10.1007/978-1-4419-6984-2

Poutakidis, D., Winikoff, M., Padgham, L., & Zhang, Z. (2009). Debugging and testing of multi-agent systems using design artefacts. In R. H. Bordini, M. Dastani, J. Dix & A. El Fallah Seghrouchni (Eds.), Multi-agent programming: Language, tools and applications. (pp. 215-258). Dordrecht, The Netherlands: Springer.

Padgham, L., Winikoff, M., DeLoach, S., & Cossentino, M. (2009). A unified graphical notation for AOSE. In M. Luck & J. J. Gomez-Sanz (Eds.), Agent-oriented software engineering IX: Lecture notes in computer science (Vol. 5386). (pp. 116-130). Berlin, Germany: Springer.

^ Top of page

Journal - Research Article

Winikoff, M., Yadav, N., & Padgham, L. (2018). A new hierarchical agent protocol notation. Autonomous Agent & Multi-Agent Systems, 32(1), 59-133. doi: 10.1007/s10458-017-9373-9

Abushark, Y., Miller, T., Thangarajah, J., Winikoff, M., & Harland, J. (2017). Requirements specification via activity diagrams for agent-based systems. Autonomous Agent & Multi-Agent Systems, 31(3), 423-468. doi: 10.1007/s10458-016-9327-7

Winikoff, M. (2017). BDI agent testability revisited. Autonomous Agent & Multi-Agent Systems, 31(5), 1094-1132. doi: 10.1007/s10458-016-9356-2

Dam, H. K., Egyed, A., Winikoff, M., Reder, A., & Lopez-Herrejon, R. E. (2016). Consistent merging of model versions. Journal of Systems & Software, 112, 137-155. doi: 10.1016/j.jss.2015.06.044

Günay, A., Winikoff, M., & Yolum, P. (2015). Dynamically generated commitment protocols in open systems. Autonomous Agent & Multi-Agent Systems, 29(2), 192-229. doi: 10.1007/s10458-014-9251-7

Winikoff, M., & Cranefield, S. (2014). On the testability of BDI agent systems. Journal of Artificial Intelligence Research, 51, 71-131. doi: 10.1613/jair.4458

Cheong, C., & Winikoff, M. (2013). A comparison of two agent interaction design approaches. Multiagent & Grid Systems, 9(1), 1-44. doi: 10.3233/MGS-130200

Dam, H. K., & Winikoff, M. (2013). Towards a next-generation AOSE methodology. Science of Computer Programming, 78, 684-694. doi: 10.1016/j.scico.2011.12.005

Loke, S.-K., Tordoff, J., Winikoff, M., McDonald, J., Vlugter, P., & Duffull, S. (2011). SimPharm: How pharmacy students made meaning of a clinical case differently in paper- and simulation-based workshops. British Journal of Educational Technology, 42(5), 865-874. doi: 10.1111/j.1467-8535.2010.01113.x

Cranefield, S., & Winikoff, M. (2011). Verifying social expectations by model checking truncated paths. Journal of Logic & Computation, 21(6), 1217-1256. doi: 10.1093/logcom/exq055

Dam, H. K., & Winikoff, M. (2011). An agent-oriented approach to change propagation in software maintenance. Autonomous Agent & Multi-Agent Systems, 23(3), 384-452. doi: 10.1007/s10458-010-9163-0

Winikoff, M. (2009). Future directions for agent-based software engineering. International Journal of Agent-Oriented Software Engineering, 3(4), 402-410.

Winikoff, M. (2007). Defining syntax and providing tool support for Agent UML using a textual notation. International Journal of Agent-Oriented Software Engineering, 1(2), 123-144.

^ Top of page

Conference Contribution - Published proceedings: Full paper

Cranefield, S., Winikoff, M., Dignum, V., & Dignum, F. (2017). No pizza for you: Value-based plan selection in BDI agents. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI). (pp. 178-184). doi: 10.24963/ijcai.2017/26

Winikoff, M. (2017). Debugging agent programs with "why?": Questions. In S. Das, E. Durfee, K. Larson & M. Winikoff (Eds.), Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS). (pp. 251-259). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems. [Full Paper]

Devananda, M., Cranefield, S., Winikoff, M., & Lloyd, H. (2017). Workload prediction model of a primary health centre. Proceedings of the 25th European Conference on Information Systems (ECIS). (pp. 1192-1204). Retrieved from http://aisel.aisnet.org/ecis/

Abushark, Y., Thangarajah, J., Miller, T., Harland, J., & Winikoff, M. (2015). Early detection of design faults in relative to requirement specifications in agent-based models. In R. H. Bordini, E. Elkind, G. Weiss & P. Yolum (Eds.), Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). (pp. 1071-1079). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems. [Full Paper]

Winikoff, M. (2014). Novice programmers’ faults & failures in GOAL programs: Empirical observations and lessons. In A. Lomuscio, P. Scerri, A. Bazzan & M. Huhns (Eds.), Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). (pp. 301-308). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems. [Full Paper]

Dastani, M., van Riemsdijk, M. B., & Winikoff, M. (2011). Rich goal types in agent programming. In K. Tumer, P. Yolum, L. Sonenberg & P. Stone (Eds.), Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (Vol. III). (pp. 405-412). Retrieved from http://www.aamas2011.tw/Download.html

Dam, H. K., & Winikoff, M. (2010). Supporting change propagation in UML models. Proceedings of the IEEE International Conference on Software Maintenance (ISCM). (pp. 1-10). IEEE. [Full Paper]

Hoa Dam, K., & Winikoff, M. (2008). Cost-based BDI plan selection for change propagation. In L. Padgham, D. Parkes, J. Müller & S. Parsons (Eds.), Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems. (pp. 217-224). International Foundation for Autonomous Agents and Multiagent Systems. Retrieved from http://www.ifaamas.org/Proceedings/aamas08/proceedings

van Riemsdijk, M. B., Dastani, M., & Winikoff, M. (2008). Goals in agent systems: A unifying framework. In L. Padgham, D. Parkes, J. Müller & S. Parsons (Eds.), Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems. (pp. 713-720). International Foundation for Autonomous Agents and Multiagent Systems. Retrieved from http://www.ifaamas.org/Proceedings/aamas08/proceedings

^ Top of page

Conference Contribution - Edited volume of conference proceedings

Conitzer, V., Winikoff, M., van der Hoek, W., & Padgham, L. (Eds.). (2012). Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems. 592p.

More publications...