Mike Poppleton's Home Page

I am a Lecturer in Formal Methods in the Electronic and Software Systems of the School of Electronics and Computer Science at the University of Southampton. I joined the school in September 2002, after a long and varied spell in the computer industry, completing my M.Sc. at Aston University, and lectureships at Coventry University and the Open University.           


Current research activities, themes, projects

"Hard" systems development: from refinement to retrenchment

Tools, methods, and applications of Event-B


Topics of interest ...

Specification and verification for Web Services and the Grid

Requirements Engineering of Open vs Closed Systems

Provenance in Web Services and Grid Computing

My publications from ECS                My earlier publications

A potted history can be found here

Teaching Interests

My current teaching is below:

COMP2012 Software Engineering Group Project

COMP3011 Critical Systems

Previous teaching includes:

Some contact details:

Updated 1/5/06