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)

Position
Professor
Room
8.04, Commerce Building
Phone
+64 3 479 8386
Email
michael.winikoff@otago.ac.nz
Co-supervising
Manjula Devananda
Papers
2017 S2: INFO407
2018 S1: INFO201
Research group
Autonomous Systems

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.

Professor Holger Regenbrecht has taken over as Head of Department. 

I tweet at: @profwinikoff

^ Top of page

Teaching

In 2017 I was on sabbatical for most of the year. Since returning I've been involved in INFO407, and in curriculum development for 2018.

^ 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. My work has included:

  • 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).

More recently I have been looking at societal consequences of autonomous systems, and the issues that affect trust in these systems.

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.

I am also on various other university committees (e.g. Divisional and Departmental Research Committees, Divisional Academic Board, Senate).

I am also an Associate Editor for the Journal of Autonomous Agents and Multi-Agent Systems, and Editor-in-Chief for the International Journal of Agent-Oriented Software Engineering.

^ 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.

^ 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

Note: The list below is automatically generated from the publication database of the University of Otago.
A more complete list can be found on a separate page.

Winikoff, M. (2017). BDI agent testability revisited. Autonomous Agent & Multi-Agent Systems. Advance online publication. 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

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]

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

Desai, N., Liu, A., & Winikoff, M. (Eds.). (2012). Principles and practice of multi-agent systems: Lecture notes in computer science (Vol. 7057). Berlin, Germany: Springer, 665p. doi: 10.1007/978-3-642-25920-3

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.

Dastani, M., El Fallah Seghrouchni, A., Ricci, A., & Winikoff, M. (Eds.). (2008). Programming multi-agent systems: Lecture notes in artificial intelligence (Vol. 4908). Berlin, Germany: Springer, 267p.

Baldoni, M., Son, T. C., van Riemsdijk, M. B., & Winikoff, M. (Eds.). (2008). Declarative agent languages and technologies V: Lecture notes in artificial intelligence (Vol. 4897). Berlin, Germany: Springer, 245p.

Kolp, M., Bresciani, P., Henderson-Sellers, B., & Winikoff, M. (Eds.). (2006). Agent-oriented information systems III: Lecture notes in artificial intelligence (Vol. 3529). Berlin, Germany: Springer, 290p. doi: 10.1007/11916291

^ Top of page

Chapter in Book - Research

Winikoff, M. (2016). How testable are BDI agents? An analysis of branch coverage. In N. Osman & C. Sierra (Eds.), Autonomous agents and multiagent systems: Lecture notes in artificial intelligence (Vol. 10002). (pp. 90-106). Cham, Switzerland: Springer. doi: 10.1007/978-3-319-46882-2_6

Winikoff, M. (2016). How testable are BDI agents? An analysis of branch coverage. In M. Baldoni, J. P. Müller, I. Nunes & R. Zalila-Wenkstern (Eds.), Engineering multi-agent systems: Lecture notes in artificial intelligence (Vol. 10093). (pp. 210-223). Cham, Switzerland: Springer. doi: 10.1007/978-3-319-50983-9_12

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

Savarimuthu, S., & Winikoff, M. (2013). Mutation operators for the GOAL agent language. In M. Cossentino, A. El Fallah Seghrouchni & M. Winikoff (Eds.), Engineering multi-agent systems: Lecture notes in computer science (Vol. 8245). (pp. 255-273). Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-45343-4_14

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

Cranefield, S., Winikoff, M., & Vasconcelos, W. (2012). Modelling and monitoring interdependent expectations. In S. Cranefield, M. B. van Riemsdijk, J. Vázquez-Salceda & P. Noriega (Eds.), Coordination, organizations, institutions, and norms in agent system VII: Lecture notes in artificial intelligence (Vol. 7254). (pp. 149-166). Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-35545-5_9

Winikoff, M. (2012). An integrated formal framework for reasoning about goal interactions. In C. Sakama, S. Sardina, W. Vasconcelos & M. Winikoff (Eds.), Declarative agent languages and technologies IX: Lecture notes in artificial intelligence (Vol. 7169). (pp. 16-32). Berlin, Germany: Springer. doi: 10.1007/978-3-642-29113-5

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

Cranefield, S., & Winikoff, M. (2009). Verifying social expectations by model checking truncated paths. In J. F. Hübner, E. Matson, O. Boissier & V. Dignum (Eds.), Coordination, organizations, institutions and norms in agent systems IV: Lecture notes in artificial intelligence (Vol. 5428). (pp. 204-219). Berlin, Germany: Springer.

Cheong, C., & Winikoff, M. (2009). Hermes: Designing flexible and robust agent interactions. In V. Dignum (Ed.), Handbook of research on multi-agent systems: Semantics and dynamics of organizational models. (pp. 105-140). Hershey, PA: Information Science Reference.

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.

Winikoff, M., & Cranefield, S. (2009). Eliciting expectations for monitoring social interactions. In M. Purvis & B. T. R. Savarimuthu (Eds.), Computer-mediated social networking: Lecture notes in artificial intelligence (Vol. 5322). (pp. 171-185). Berlin, Germany: Springer. doi: 10.1007/978-3-642-02276-0

Hoa Dam, K., & Winikoff, M. (2009). Evaluating an agent-oriented approach for change propagation. In M. Luck & J. J. Gomez-Sanz (Eds.), Agent-oriented software engineering IX: Lecture notes in computer science (Vol. 5386). (pp. 159-172). Berlin, Germany: 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.

Dignum, F., Dignum, V., Thangarajah, J., Padgham, L., & Winikoff, M. (2008). Open agent systems ??? In M. Luck & L. Padgham (Eds.), Agent-oriented software engineering VIII: Lecture notes in computer science (Vol. 4951). (pp. 73-87). Berlin, Germany: Springer. doi: 10.1007/978-3-540-79488-2

Pham, D. Q., Harland, J., & Winikoff, M. (2008). Modeling agents' choices in temporal linear logic. In M. Baldoni, T. C. Son, M. B. van Riemsdijk & M. Winikoff (Eds.), Declarative agent languages and technologies V: Lecture notes in artificial intelligence (Vol. 4897). (pp. 140-157). Berlin, Germany: Springer. doi: 10.1007/978-3-540-77564-5_9

Padgham, L., Thangarajah, J., & Winikoff, M. (2008). The Prometheus design tool: A conference management system case study. In M. Luck & L. Padgham (Eds.), Agent-oriented software engineering VIII: Lecture notes in computer science (Vol. 4951). (pp. 197-211). Berlin, Germany: Springer. doi: 10.1007/978-3-540-79488-2

Jayatilleke, G. B., Padgham, L., & Winikoff, M. (2007). Evaluating a model driven development toolkit for domain experts to modify agent based systems. In L. Padgham & F. Zambonelli (Eds.), Agent-oriented software engineering VII: Lecture notes in computer science (Vol. 4405). (pp. 190-207). Berlin, Germany: Springer. doi: 10.1007/978-3-540-70945-9

More publications...