Research

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.

Projects:

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.