Editorial Board Member

AAECC
Applicable Algebra in Engineering, Communication and Computing, 2003 –

EPTCS
Electronic Proceedings in Theoretical Computer Science, 2009 –

JAR
Journal of Automated Reasoning, 2007 –

JFLP
Journal of Functional and Logic Programming, 1995 – 2010