Editorial duties

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.