My main research interests are in automated planning and encoding automated planning and other problems as propositional (SAT)isfiability and other declarative languages including MaxSAT and Answer Set Programming.

More recently I have been interested solving query planning problems using automated planning.

Check out my CV and my list of publiations, which now includes my PhD thesis.


In the near future I will post code from my numerous research projects. In the mean time, here is a Python command line processor I made and have been using in my research.