Free

FACS - The Fumble Programmer

Event Information

Share this event

Date and Time

Location

Location

BCS, The Chartered Institute for IT

The Davidson Building

5 Southampton Street

London

WC2E 7HA

United Kingdom

View Map

Event description

Description

Date/Time: Wednesday 25 April 2018, 5.15pm coffee/tea for 6.00pm start of talk.

Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA | Maps

Speaker: Rod Chapman, Protean Code Ltd / Altran, UK [link name to https://proteancode.com/ ]

Synopsis:

This talk reflects on the need for formality, discipline, and humility in programming. Starting with the work of Turing, Dijkstra, and Watts Humphrey of the Software Engineering Institute, this talk goes on to cover our experience with the Personal Software Process, formal programming with SPARK, and the impact of putting the two together.

Biography:

Roderick Chapman is an independent consultant software engineer. He specialises in the development of safety and security-critical systems, from requirements engineering, through architectural design and implementation, to verification, audit and assessment. Following graduation from the University of York, Rod joined Praxis (now Altran UK), and contributed to many of the company’s keynote projects, rising to the role of principal engineer for software process and design. He also led the programming language and verification research group at Praxis, leading the technical development, training, sales and marketing of the SPARK product line. More recently, Rod turned his attention to software process, working on merging the discipline of traditional high-integrity processes with more agile approaches such as Scrum, and the philosophy of the Lean Engineering Movement.

As part of this work, Rod became the first SEI-certified Personal Software Process (PSP) Instructor in the UK and led the roll-out of the PSP approach within the company’s CMMI processes and appraisal. Rod is a regular speaker at international conferences, and is widely recognized as a leading authority on high-integrity software development, programming language design, and software verification tools. In 2006, he was invited to become a Fellow of BCS, The Chartered Institute for IT. In 2011, Rod was the joint recipient of the inaugural Microsoft Research Verified Software Milestone Award for his contribution to the Tokeneer project. In February 2015, Rod was appointed Honorary Visiting Professor in the Department of Computer Science at the University of York, and serves as a member of the department’s Industrial Advisory Board.

For overseas delegates who wish to attend the event please note that BCS does not issue invitation letters.

Bookings for this event will close Monday 23 April @ 10pm.

Share with friends

Date and Time

Location

BCS, The Chartered Institute for IT

The Davidson Building

5 Southampton Street

London

WC2E 7HA

United Kingdom

View Map

Save This Event

Event Saved