I am interested in automating faulty theory’s detection and repair, which has wide applications, e.g., game theory modelling, root-cause analysis. As a postdoc, I work with Björn Ross and Vaishak Belle on misinformation detection.