We're very pleased that you want to get in touch with us. Please fill in the form below:

or   Close this form  
Some content

Peter Pilgrim :: Java Champion :: Digital Architect

I design Java EE and Scala software solutions for the blue-chip clients and private sector

Hey all! Thanks for visiting. I provide fringe benefits to interested readers: checkout consultancy, training or mentorship Please make enquiries by email or call +44 (0)7397 067 658.

Due to the Off-Payroll Working plan for the UK government, unfortunately, I am no longer accepting standard GOV.UK contract engagements for the public sector. Please enquire for further information.

Where There is Still Hope

04 December 2012 Comments off

2 minutes


On Monday evening, 3rd December, 2012, I went along to the British Computer Society London in the Strand for a lecture from non other than Professor Sir Tony Hoare. It is not everyday you get meet a personality who has been so well deserved lauded in the computer science, in its history and its modernity and  brief time of existence. Tony Hoare was the inventor of the famous Quicksort computer algorithm in 1960 (at the age of 26). I remember a first encounter with the QuickSort algorithm in Herbert C. Schildt’s Programming in C book.

Professor Hoare was in town to give a Peter Landin lecture on Laws of Concurrent Design. The talk was essentially about mathematical calculus of computer programs; how they could be expressed in terms of mathematical functions, and set of basic axioms with rules, then could be composed together to proof notations about concurrency and sequential operations.

Professor Sir Tony Hoare at BCS London, December 2012

Oh gosh, it has been awful long time, since I personally looked at additional mathematics course book. Yet I understood this level of discourse in the talk. I found that I could understand the Exchange Axiom to my surprise. Although, I think Professor Hoare had simplified the actual formulas for the benefit of his talk and the level of the audience.

For the ordinary punter, dealing with this abstract mathematical terms is clearly out of the level of usefulness, however these are the theories that allows computer scientists to build programs such as compilers, static analysers and the tools that language writers use to build new programming languages in order to give us the world of devices and applications that we all use today. Without these pioneers in the computer programming arena, we would be, I think, far far behind. Indeed, we are standing, everyday, on the shoulders of giants and reaching for the stars.

I thoroughly enjoyed the Professor Hoare talk, and the fact that this guy is older than me and still working (at Microsoft Research in Cambridge, England) is inspiration enough to say to hell with silo management and bad attempts to be hip with the agile practices. Say hello to diversity in corporation, the future is for real. Here is a real star: a living legend.


PS: I also got meet up with some fellow ACCU members who also turned up for the lecture.

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Contents of this blog entry are under copyright © 2017 by Peter Pilgrim and associates. For enquiries after republishing, please contact us for permission. All requests for syndicated content will be ignored /dev/null, consider yourself warned!

I helped to write, design or creative e-commerce
JVM services that are behind brilliant today's
apps & websites

My Blurb

Please get in touch , directly, to establish hire availability, contract & consulting opportunities.

Speaking at Your Conference

Contact by invitation

What Peter Does