Insbesondere befasste er sich mit der Spurformel von Arthur und Selberg und damit zusammenhängend mit dem Studium der Kohomologie arithmetischer Gruppen und der Konstruktion von Galoisdarstellungen zu automorphen Formen.