Alberto Pettorossi is Full Professor of Theoretical Computer Science at the Engineering Faculty of the University of Roma “Tor Vergata”. His research activity has been in the area of rewriting systems, concurrent computation, and automatic derivation, transformation, and verification of programs.