Welcome.
I am a post-doctoral research fellow in the research group of Associate Professor Sheila McIlraith at the University of Toronto, Department of Computer Science.
My PhD was at NICTA (National Information and Communication Technology Australia) and the IIIS (Institute for Integrated and Intelligent Systems) at Griffith University, Brisbane, Australia.
My main research interest is encoding automated planning and other problems as (SAT)isfiability and MaxSAT (see my research and my publications).
Contact me at nathan dot m dot robinson at Google provided email address.
