John Barnes was a founder member of the Ada design team and the software company Alsys UK. He gives lectures on Ada and popular mathematics, and has authored 13 books, including 'Gems of Geometry' (2012), 'SPARK – The proven approach to High Integrity Software' (2012), and 'Nice Numbers' (2016).