I have (or recently had) the following editorial duties with journals. See my CV for a complete list.
Journal of Automated Reasoning: Member of the Editorial Board. Springer.
Journal of Applied logic: Scientific Area Editor. Elsevier.
ACM Transactions on Computational Logic: Area editor for Proof Theory (1999-2018). Two term Editor-in-Chief from June 2009 to June 2015.
Other professional duties
Some of my current or recent professional duties are listed below. See my CV for a more complete list.
Member of the ACM's Heidelberg Laureate Forum Young Researcher Selection Committee for three years starting 2023.
Chair of the Search Committee for the next Editor-in-Chief of the ACM Transactions on Computational Logic (ToCL), Spring 2021.
LICS General Chair starting July 2018 for three years.
Member of the LICS Steering Committee, starting 2012.
Member of the FSCD Steering Committee, 2017 - 2020.
Member of the SIGLOG advisory board, starting November 2015.
Member of the EATCS Distinguished Dissertation Award Committee 2013 - 2020.
Member of the Ackermann Award Committee for 2016 - 2018. This award is given by EACSL for an outstanding doctoral dissertation in the field of Logic in Computer Science.
Member of the 2012, 2016, 2017, 2018 Herbrand Award Committee of the Association for Automated Reasoning.
Ex officio member of the Executive Committee of the ACM Special Interest Group on Logic and Compuation (SIGLOG), April 2014 - June 2016.