Previously, he was a postdoc in the JST ERATO Minato Discrete Structure Manipulation Project. He is interested in logic in computer science, especially applications related to descriptive complexity. He is also interested in parallel solvers for SAT and QBF, complexity theory, and related topics.