I'm interested in a range of topics in artificial intelligence and computer science, with  a special focus on computational and representational issues. I have worked on tractable inference, knowledge representation, stochastic search methods, theory approximation, knowledge compilation, planning, default reasoning, and the connections between computer science and statistical physics (phase transition phenomena). 

My current projects focus on:

Here are several documents summarizing previous work (mostly) and current plans: