Dr Timothy Miller

Research Interests

  • Artificial intelligence (Intelligent agents and multi-agent systems)
  • Modelling and simulation of complex systems (Simulation of economic markets)
  • Software Engineering

Personal webpage

http://people.eng.unimelb.edu.au/tmiller/

Biography

Dr Tim Miller is a senior lecturer (equivalent to assistant professor) in the Department of Computing and Information Systems at The University of Melbourne. 

Dr Miller received his PhD in 2005 from the University of Queensland. He spent four years at the University of Liverpool, UK, as a software engineer and postdoctoral researcher associate in the Agent ART group. In 2008, he moved to Melbourne to take up his current post. Tim's primary interest lies in the area of software engineering for intelligent systems, especially multi-agent systems, and modelling and simulation using intelligent agents. For recognition of his hard work in successfully implementing problem-based learning in much of his teaching, In 2011, Tim received an Excellence in Teaching award from the Melbourne School of Engineering, which complemented his Excellence in Teaching awards from the Department of Computer Science and Software Engineering in 2009 and 2011.

Recent Publications

  1. . A Preliminary Analysis of Interdependence in Multiagent Systems. Lecture Notes in Computer Science17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA). Springer Verlag. 2014, Vol. 8861.
  2. . A Preliminary Analysis of Interdependence in Multiagent Systems. Lecture Notes in Computer SciencePRIMA 2014: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS. Springer Verlag. 2014, Vol. 8861.
  3. Von Der Osten F, Kirley M, Miller T. Anticipatory stigmergic collision avoidance under noise. 2014 Genetic and Evolutionary Computation Conference (GECCO). ACM Press. 2014.
  4. Von Der Osten F, Kirley M, Miller T. Anticipatory stigmergic collision avoidance under noise. Proceedings of the 2014 Genetic and Evolutionary Computation Conference (GECCO). ACM Press. 2014.
  5. . Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. Lecture Notes in Computer ScienceSOCIAL ROBOTICS. Springer Verlag. 2014, Vol. 8755.
  6. . Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. Lecture Notes in Computer Science6th International Conference on Social Robotics (ICSR). Springer Verlag. 2014, Vol. 8755.
  7. Abushark Y, Thangarajah J, Miller T, Harland J. Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location. International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). ACM Press. 2014.
  8. Abushark Y, Thangarajah J, Miller T, Harland J. Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location. Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems. ACM Press. 2014.
  9. . Checking The Correctness of Agent Designs Against Model-Based Requirements. 21st European Conference on Artificial Intelligence (ECAI). IOS Press. 2014, Vol. 263.
  10. . Checking The Correctness of Agent Designs Against Model-Based Requirements. 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014). IOS Press. 2014, Vol. 263.
  11. Pfau J, Miller T, Sonenberg E. Modelling and Using Common Ground in Human-agent Collaboration during Spacecraft Operations. Proceedings of SpaceOps 2014 Conference. 2014.
  12. Pfau J, Miller T, Sonenberg E. Modelling and Using Common Ground in Human-agent Collaboration during Spacecraft Operations. SpaceOps 2014 Conference. 2014.
  13. . Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator. IEEE Transactions on Software EngineeringIEEE TRANSACTIONS ON SOFTWARE ENGINEERING. IEEE - Institute of Electrical and Electronic Engineers. 2014, Vol. 40, Issue 10.
  14. . Researchers As Proxies for Informal Carers: Photo Sharing with Older Adults to Mediate Wellbeing. Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: The Future of Design. 2014.
  15. . Researchers As Proxies for Informal Carers: Photo Sharing with Older Adults to Mediate Wellbeing. 26th Australian Computer-Human Interaction Conference (OzCHI). 2014.

Timothy Miller

Level: 06 Room: 6.09
Doug Mcdonell Building, Parkville
University of Melbourne
3010 Australia

T: +61 3 83441318
E: tmiller@unimelb.edu.au


View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile