About The Author

Roland Backhouse is Professor of Computing Science at the University of Nottingham. Prior to this he led Mathematics of Programming (“Wiskunde van het Programmeren”) group at the Technische Universiteit Eindhoven in the Netherlands. His book “Program Construction: Calculating Implementations from Specifications” was published by John Wiley and Sons in 2003. Earlier textbooks he has written are “Program Construciton and Verification” (1986) and “Syntax of Programming Languages, Theory and Practice” (1979), both published by Prentice-Hall International.

Together with Jan van de Snepscheut (1953-1994), he established the series of conferences on the Mathematics of Program Construction. It is this topic that is the primary focus of his research.