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:
-
Formal methods: introductory discrete maths, Z, the B-Method
-
Software engineering
-
Software quality management
-
Functional programming
-
Logic programming
Some contact details:
-
Dr. Michael R. Poppleton
-
email: mrp@ecs.soton.ac.uk
-
phone: +44(0)23 80597084/ 4511(sec)
-
fax: +44(0)23 80593045
-
post: Electronics and Computer Science, University of Southampton, Highfield, Southampton SO17 1BJ
Updated 1/5/06