Interests

• Artificial Intelligence
• Constrained Sampling and Counting
• Knowledge Representation and Reasoning
• Formal Methods
• Interpretable Models