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:

• fast reasoning methods

• multi-agent systems (combining concepts from game theory and computer science)

• integration of learning and reasoning techniques

• analysis of large linked networks

• planning

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

• Compute intensive methods

• Ten Challenges in Propositional Reasoning and Search (.pdf)

• Challenge Problems for Artificial Intelligence (pdf)

• ANTS project

• TASK project

• Core project