À côté de travaux scientifiques, il a notamment œuvré pour le développement de l’informatique comme discipline scientifique, notamment en étant éditeur ou coéditeur d'actes de colloques, parmi lesquels :
Boolean Function Complexity, London Mathematical Society Lecture Note Series, Cambridge University Press 1992 —(Symposium Durham 1990)
Automata, languages and programming (17th International Colloquium, Warwick University, England, Juli 1990), Springer Verlag, coll. « Lecture Notes in Computer Science » (no 443),
Algorithms - ESA 2000, Springer Verlag, coll. « Lecture Notes in Computer Science » (no 1879), — 8th Annual European Symposium on Algorithms, Saarbrücken 2000
(avec Bo Chen, Guochuan Zhang), Combinatorics, algorithms, probabilistic and experimental methodologies: first international symposium, ESCAPE 2007, Hangzhou, Chine, Springer Verlag,
↑David B. A. Epstein, James W. Cannon, Derek F. Holt, Silvio Levy, Michael S. Paterson et William Thurston, Word Processing in Groups, Boston, Jones and Bartlett Publishers, , xi+330 (ISBN978-0-86720-244-1).
↑Mike Paterson et Uri Zwick, « Overhang », Amer. Math. Monthly, vol. 116, no 1, , p. 19-44 (MR2011b:68182)