Research Interests

• Interpretable Machine Learning
• Satisfiability Problem
• Approximate Logic Synthesis