I have a PhD in computer science from NICTA (National Information and Communication Technology Australia) and the IIIS (Institute for Integrated and Intelligent Systems) at Griffith University, Brisbane, Australia.

From 2011 to 2013 I was a research fellow in the research group of Professor Sheila McIlraith at the University of TorontoDepartment of Computer Science.

My main research interests are encoding automated planning and other problems as (SAT)isfiability and MaxSAT (see my research and my publications), and more recently exploring applications of automated planning.

Contact me at nathan dot m dot robinson at Google provided email address.


In the fall of 2012 I taught CSC180 Introduction to Computer Programming (in Python) at The University of Toronto with Brian Law.


As well as computer science I enjoy photography and generative art, music, hiking, philosophy, and computer games.