Mike Poppleton's Home Page
I am a Lecturer in Formal Methods in the
Dependable
Systems and Software Engineering group 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:
COMP2012 Software
Engineering Group Project
COMP3011 Critical
Systems
COMP6004 Formal
Design of Systems
Previous teaching includes:
-
Formal methods: introductory discrete maths, Z, the B-Method
-
Software engineering
-
Software quality management
-
Functional programming
-
Logic programming
Early Years
During the first years of my academic career I was interested in
-
Connections between formal methods and functional programming
-
Formalization of structured design methods; "method integration"
-
Applications of "intelligent" optimization techniques such as genetic algorithms
in oncology applications
- Pedagogic and technological developments in the teaching of computing
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