Leslie Lamport On Programming As More Than Coding
Written by Alex Armstrong   
Tuesday, 14 April 2015

There are a few lectures you should not miss - this is one of them.  It is about the tasks that you do before starting to code. 

Who is Leslie Lamport? 

I can do no better than quote from the announcement of the lecture:

"Dr. Lamport received a doctorate in mathematics from Brandeis University, with a dissertation on singularities in analytic partial differential equations. This, together with a complete lack of education in computer science, prepared him for a career as a computer scientist at Massachusetts Computer Associates, SRI, Digital, and Compaq. He claims that it is through no fault of his that of those four corporations, only the one that was supposed to be non-profit still exists. He joined Microsoft in 2001, but that company has not yet succumbed."

To be slightly more accurate, he is currently with Microsoft Research.

The brief bio goes on to say:

"More recently, Dr. Lamport has been annoying computer scientists and engineers by urging them to understand an algorithm or system before implementing it, and scaring them by saying they should use mathematics. In an attempt to get him to talk about other things, the ACM gave him the 2013 Turing Award."

Which is something you might have read about last year on I Programmer. 

You can see that he might have something interesting to say and the Stanford EE Computer Systems Colloquium gave him  the chance to talk about "Programming Should Be More Than Coding". I should say that if you are up on math and know about functional programming you might not find what he has to say surprising: 


It is worth mentioning that the seminar series provides a new lecture on computer systems every week. You can find a list of videos already available to view at Colloquium on Computer Systems

More Information

Colloquium on Computer Systems

Related Articles

Turing Award Now Million Dollar Prize       

Leslie Lamport Wins Turing Award       


To be informed about new articles on I Programmer, install the I Programmer Toolbar, subscribe to the RSS feed, follow us on, Twitter, FacebookGoogle+ or Linkedin,  or sign up for our weekly newsletter.



Apache Arrow 16 Adds Azure Blob Support

Apache Arrow 16 has been released with improvements to the C data interface and to Arrow Flight RPC, and the addition of support for Azure Blob data format.

Raspberry Pi To Go Public - Are We Worried?

Raspberry Pi used to be the enthusiast's enthusiasm and this provided a base to expand into commercial applications. For some time now, some of the enthusiasts have been expressing concern that the co [ ... ]

More News


C book



or email your comment to: comments@i-programmer.info

Last Updated ( Tuesday, 14 April 2015 )