My research is in the field of Automated Reasoning in Artificial Intelligence and focused on Graphical Models.