(As principal investigator; brackets indicate the year the grant was awarded.)
Guest editor for the special issue "Modern Perspectives in Proof Theory" of the
Philosophical Transactions of the Royal Society.
Journals: Proceedings of the American Mathematical Society, Journal of Symbolic Logic, Bulletin of Symbolic Logic, Review of Symbolic Logic, Annals of Pure and Applied Logic, Archive for Mathematical Logic.
Conferences: Logic in Computer Science; Computability in Europe; Advances in Modal Logic; Workshop on Logic; Language, Information, and Computation; International Joint Conference on Artificial Intelligence.