Curriculum Vitae

1 Professional Interests

  • Automated planning, optimal planning, planning-as-satisfiability, applications of planning and scheduling
  • Combinatorial optimisation, SAT, Mixed Integer Programming, Answer Set Programming, problem encodings
  • Modal logics, temporal logics, non-monotonic logics

2 Lecturing and Teaching Experience

Australian National University, Canberra, ACT, Australia 2014

  • Tutor: COMP3620/COMP6320 – Artificial Intelligence and COMP2620/PHIL2080: Logic (ongoing)
    • AI topics: Python, search, planning, knowledge representation, and reinforcement learning
    • Logic topics: propositional and predicate logic, deduction techniques, semantic concepts
    • Duties: delivering tutorials and laboritories, developing assessment for the AI course

University of Toronto, Toronto, Ontario, Canada 2012

  • Lecturer: CSC180 Introduction to Computer Programming (in Python)
    • Co-lectured with graduate student Brian Law
    • Covered programming concepts using Python: OOP, data-structures, searching, sorting, and algorithms
    • Duties: developing and delivering 39 lectures, developing 3 assignments and 3 exams, managing 15 teaching assistants
    • Overall student evaluation: 6.17 (out of 7), department mean 5.22

Griffith University, Brisbane, Queensland, Australia 2007

  • Laboratory demonstrator: 2010MEE Microprocessor Techniques
    • Duties: running and marking two four-hour lab sessions a week, where students programmed Motorola 68HC12 microprocessors
    • Supervisor: Brett Wildermoth

3 Education and Research Experience

NICTA, Canberra, Australian Capital Territory, Australia 2013-2014

  • Visiting researcher in the Optimisation Research Group (ongoing)
    • Research areas: automated planning, planning-as-satisfiability, hybrid planning, heuristics for delivery vehicle routing
    • Supervisors: Professor Sylvie Sylvie Thiébaux, Dr Charles Gretton

University of Toronto, Toronto, Ontario, Canada 2011-2013

  • Postdoctoral research fellow in the Department of Computer Science
    • Research areas: preference-based and cost-optimal planning, planning applications
    • Supervisor: Professor Sheila A. McIlraith

NICTA and Griffith University, Brisbane, Queensland, Australia 2007 to 2011

  • PhD in Computer Science
    • Thesis title: Advancing Planning-as-Satisfiability
    • Supervisors: Professor Abdul Sattar, Dr Charles Gretton, Dr Duc Nghia Pham

NICTA and Griffith University, Brisbane, Queensland, Australia 2002 to 2006

  • Bachelor of Engineering in Computer Systems Engineering with First Class Honours
    • Grade Point Average: 6.08 (Scale: 1-7, with 7 the highest)
    • Honours Project: Industrial Affiliates Program NICTA. Title: Managing Description Logic Programs with Emergency Management Examples.
    • Supervisor: Professor Abdul Sattar

NICTA, Brisbane, Queensland, Australia 2005-2006

  • Summer Research Scholarship
    • Topic: Answer Set Programming and ontologies for the semantic web
    • Supervisor: Professor Kewen Wang

4 Awards and Scholarships

  • 2010. Best paper award for Partial Weighted MaxSAT for Optimal Planning (PRICAI-10)
  • 2009. Scholarship to attend ICAPS-09 Summer School
  • 2008. Australian Postgraduate Award (APA) Scholarship and NICTA top-up scholarship
  • 2008. Achieved 4th place in the optimal deterministic track of the 6th International Planning Competition
  • 2007. Joint PhD scholarship from Griffith University and NICTA
  • 2006. NICTA Summer Research Scholarship
  • 2006. NICTA Summer Research Scholarship
  • 2005. NICTA Honours Scholarship awarded

5 Publications

Cost-Based Query Optimization via AI Planning. Robinson, N.; McIlraith, S. A.; and Toman, D. Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27-31, 2014, Quebec City, Quebec, Canada, 2014 (to appear.)

N. Robinson, S. A. McIlraith, D. Toman. Query Optimization Revisited: An AI Planning Perspective. Proceedings of the ICAPS Scheduling and Planning Applications woRKshop (SPARK). 2013.

P. Saadatpanah, M. Famelis, J. Gorzny, N. Robinson, M. Checjik, R. Salay. Comparing the Effectiveness of Reasoning Formalisms for Partial Models. Proceedings of the 9th workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2012). 2012.

Y. Yoon, N. Robinson, V. Muthusamy H. Jacobsen, S. A. McIlraith. Planning the Transformation of Network Topologies. Proceedings of the AAAI-12 Workshop on Problem Solving using Classical Planners (CP4PS-12). 2012.

N. Robinson, C. Gretton, D. N. Pham, and A. Sattar. Partial Weighted MaxSAT for Optimal Planning. Proceedings of the 11th Pacific Rim International Conference on Artificial Intelligence (PRICAI-10). 2010. Best Paper Award.

N. Robinson, C. Gretton, D. N. Pham, A. Sattar. SAT-Based Parallel Planning Using a Split Representation of Actions. Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS-09). 2009.

N. Robinson, C. Gretton, D. N. Pham. CO-Plan: Combining SAT-Based Planning with Forward-Search. Proceedings of the 2008 International Planning Competition, (IPC-6), Sydney, Australia. 2008.

N. Robinson, C. Gretton. D. N. Pham, A. Sattar. Propositional Probabilistic Planning-as-Satisfiability using Stochastic Local Search. Proceedings of The 18th International Conference on Automated Planning and Scheduling Workshop on A Reality Check for Planning and Scheduling Under Uncertainty. 2008.

N. Robinson, C. Gretton, D. N. Pham, A. Sattar. A Compact and Efficient SAT Encoding for Planning. Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS-08). 2008.

F. Cheng, T. Eiter, N. Robinson, A. Sattar, K. Wang. LPForget: A System of Forgetting in Answer Set Programming. Proceedings of the 19th Australasian Joint Conference on Artificial Intelligence (AI-06). 2006.

6 Professional Responsibilities

  • Program Chair for ICAPS 2013
  • Session Chair for SPARK (ICAPS Workshop) 2013
  • Reviewer ICAPS 2014, ICAPS 2012, ICAPS 2010, CP 2012, AAAI 2012

7 Technical Skills

  • Python: I have developed research projects and taught an undergraduate course in programming using Python
  • C/C++: I have created numerous pieces of research software in C/C++ including CO-Plan, which was developed with Charles Gretton and Duc Nghia Pham and won 4th place in the optimal deterministic track of the 6th International Planning Competition
  • Java: I created my honours research project in Java and have since developed visualisation projects in Processing, a language built on top of Java
  • Declarative languages: Through my research I have experience in developing problem encodings in SAT, MaxSAT, Answer Set Programming, and Mixed Integer Programming