His research interest lies in nonclassical logics for theoretical computer science. In particular, he has been working on linear logic and substructural logics with applications to implicit computational complexity and ordered algebra.