John Wordsworth's Curriculum Vitae

Born 28 October 1942

Education

• Cottingley County Primary School 1946-1953
• Bingley Grammar School 1953-1960
• Pembroke College Cambridge
  • Matriculated 1961
  • BA Mathematics (Senior Optime) 1964
  • MA 1968
• Queen's College Oxford
  • Matriculated 1964
  • Diploma in Education 1965

Other interests and activities

• Giving tutorials at national and international conferences (from 1987)
• Member of the Z User Group Committee (1989 - 2000)
• Member of the BCS Software Engineering Technical Committee (1990 - 1992)
• Member of the Z Standards Review Committee (from 1990)
• Member of the BCS Southern Area professional review panel (1993 - 2002)
• Chairman, ISO panel for standardizing the Z notation (1996 - 2000)
• Industrial assessor for Open University course M881: Computing Systems Infrastructures, etc (Jul 1997 - Dec 2000)
• Convener of ISO/IEC/JTC 1/SC 22/WG 19 (Formal Specification Languages) (1998 - 2000)
• Member of BSI committee IST/5 (1998 - 2000)
• Helping to organize conferences and technical meetings
• Writing books on technical subjects

Recent occupations

University of Exeter - School of Engineering, Computer Science and Mathematics (Oct 2002 - Sep 2006)

Tutorial Fellow teaching courses in:

• Problem Analysis, Object-oriented Analysis, Risk Assessment and Quality Assurance
• Software Design, Project Management
• SQL

Third-year undergraduate project supervision in a variety of subjects.

University of Reading - Computer Science Department (Oct 2000 - Sep 2002)

Departmental Lecturer teaching courses in:

• Software Engineering
• Database Design
• Electronic Commerce

University of Oxford - Department of Continuing Education (Dec 2000 - Sep 2002)

Tutor on Undergraduate Diploma in Computing via the Internet.

Open University - Faculty of Mathematics and Computing (Feb 2001 - Apr 2002)

Writer revising M(ZX)880: Software Engineering.

IBM United Kingdom Laboratories

Hursley Solutions and Technology - Industry Solutions Development Centre (Oct 1997 - Oct 2000)

Software engineering:

• Specifying, designing and developing web-based systems for business integration.
• Specifying, designing and developing applications for Internet banking systems.
• Using MS Word for document preparation and distribution.
• Liaison with IBM sales teams and development organizations.
• Using the Gold message standard and associated tools for defining message structures to support TV banking and ATM networks.
• Design and development of e-business scenarios and message flows
• Modelling interfaces with the B-Toolkit.

Training received: Finance industry, international standards training, XML.

Awards: Hursley Author Recognition Programme, Third Award (1999)

CICS Information Development (Aug 1994 - Sep 1997)

Technical publications:

• Liaison with developers and architects to gather material.
• Writing, production of drafts, reviews, approvals, liaison with ID production.
• Coping with late modifications to function and scope of products.
• Maintenance: Readers' comment forms, product defect reports.
• Use of SGML sensitive editors and workstation-based tools for writing.

Training received: Technical writing subjects, SGML, SGML-sensitive editor.

Awards: Hursley Author Recognition Programme, Second Award (1996)

CICS/400 Development (Jul 1993 - Jul 1994)

Software engineering:

• Specification, design, programming for two-phase commit processing.
• Project control of 3-man team for two-phase commit line item.
• Component owner of CICS/400 Resource Management
  • documentation of parts of the specification and design
  • advice and guidance to developers working on Resource Management
• Preparation and delivery of a tutorial on the B-Method of software development (ZUM)

Training received: Product-specific.

CICS Design, CICS/ESA Design Technology and Release, CICS/ESA Futures (Jul 1987 - Jul 1993)

Software engineering:

• Preparation and delivery of tutorials on Z (ESEC 87, SE 88)
• Formal specification of CPIC for Product Level Design document (1987 - 1988)
• Negotiations with architects on the content of CPI-RR (1989)
• Formal specification of parts of the CICS API (1989 - 1991)
• Project control of the CICS API specification project, including liaison with contractors (1989 - 1991)
• General consultancy on the use of Z in specification and design (1988 -)
• Secretary of CICS Products Technical Committee (1989 - 1990)
• Liaison with Oxford University on PRG research contract (1987 - 1993)
• Preparation of successful application for the Queen's Award for Technological Achievement (1991)
• Formulation of and technical support for the Clean/Z development method (1991 - 1993)
• Specification and development of part of new domain for CICS/ESA using Clean/Z and literate programming (1992 - 1993)

Training received: Various technical subjects.

Awards: Hursley Author Recognition Programme, First Award (1992)

Hursley Technical Education (Jul 1982 - Jun 1987)

Education of IBM employees:

• PL/S programming
• PL/AS programming
• Advanced PL/S programming
• Software Engineering Workshop
• Computer Science Techniques
• Introduction to Z
• Refinement in Z
• Z for Readers
• Z Overview

Training received: Formal methods of software development, programming languages, software engineering instruction.

Awards: Software Engineering Workshop Instructor's Certificate (1987)

IBM United Kingdom

IBM Customer Training (Feb 1979 - Jun 1982)

Customer education:

• Assembler language self-study
• MVS installation, performance analysis and tuning
• System Modification Program (SMP3)

Training received: Course and curriculum development.

Awards: IBM Systems Engineering Professional Excellence Award (1979)

IBM Welwyn Branch Office (Feb 1975 - Jan 1979)

Systems engineering:

• Installing 370/158 in aerospace industry, MFT to SVS conversion
• Demonstrations to customers of the IBM 3600 system
• Installing MVS, 3032, 3800, 3850 in retail industry customer

Training received: Retail industry concepts and practices, IBM 3850 Mass Storage System.

IBM Customer Training (Aug 1969 - Jan 1975)

Education of IBM customers:

• System 360 assembler
• OS data and task management
• MFT internals (task management)
• ASP introduction, ASP systems programming, ASP internals
• PL/I
• OS JCL
• utilities and linkage editor
• SVS internals
• MVS internals

Training received: Basic computer studies, programming, systems analysis, operating systems, instruction techniques.

Bishop's Stortford College (Sep 1965 - Jul 1969)

House tutor, Mathematics teacher, etc.

Last updated 9 June 2007.