Mike Holcombe

New book just published: Running an Agile Software Project - Wiley


Member of the Verification and Testing and Computational Systems Biology research groups.

Research in Verification and Testing

(Please note. Students interested in doing a PhD in the group should contact

Georg Struth, e-mail g.struth at dcs.shef.ac.uk)

futurICT.pngEU flagship proposal


Theory and Practice of Software testing

( a book outlining our approach)




Empirical Software Engineering

Enterprise in Computer Science

Article about Genesys

Assessment of Enterprise Courses

eXtreme Programming
Kent and Cindy Beck with Mike Holcombe and Genesys students.

Photo taken at XP2005 in Sheffield

PLAN-IT 2015 an IBM conference co-sponsored by the BCS. My invited talk, The future of Computer Science, Flash version or MP3 version

Research in Computational Systems Biology

Signal transduction and immunology


Agent-based modelling simulations

Social insects

FLAME framework for modelling complex systems in biology, economic and social systems

Video from the Royal Society about our Ant exhibition

More FLAME resources

List of Recent Publications  and samples of them.

Further information including teaching links

Software Hut (current class)

Software hut - details for prospective clients

Pictures of my garden

Old web pages