The Home Page of Rob Hierons

Department of Mathematical and Computing Sciences, Goldsmiths College, University of London, New Cross, London SE14 6NW, UK, phone +44 (0)20 7919 7854, fax +44 (0)20 7919 7853

Brief Details

I received a BA in Mathematics (First Class Honours, Trinity College, Cambridge, 1987), and a Ph.D. in Computer Science (Brunel, 1993). In September 1992 I joined the Department of Mathematical and Computing Sciences at Goldsmiths College, University of London, as a lecturer in computer science.

I am a member of the BCS, the IEEE and the IEEE Computer Society. I am reviews editor for The Journal of Software Testing, Verification and Reliability and a member of the BCS Information Systems Examination Board - Software Testing.

My current research interests include: testing from Finite State Machines and Communicating Finite State Machines, testing from Z specifications, mutation testing, program slicing, matroid theory, graph theory and comparing test techniques.

Please note, I have now moved to Brunel University. My new Home Page can be accessed here

Journal Publications

Refereed Conferences and Workshops

For copies of these papers, or more information on this page's author, please send an email to


Liverpool Football Club The music of Joy Division and The Sisters of Mercy

Local Links
Last updated: Thursday, May 25, 2000.
Disclaimer Everything under More Details falls outside the responsibility of Goldsmiths College.