He has had research collaborations all over the world including TIFR, India; MPI, Saarbrucken, Germany; Chinese Academy of Sciences, Beijing; IMDEA, Madrid, and UPC, Barcelona; Naval Research Lab, Washington. He serves on the editorial boards of numerous journals including the Journal of Symbolic Computation and Journal of Automated Reasoning, for which he also served as the editor-in-chief from 1993-2007. Kapur is on the board of United Nations University-International Institute for Software Technology as well as LIPIcs: Leibniz International Proceedings in Informatics. Kapur was honored with the Herbrand Award in 2009 for distinguished contributions to automated reasoning.