This video was recorded at Code Mesh V 2020 https://codesync.global/conferences/c...

Ask the expert Thinking Mathematically Above The Code Level | Leslie Lamport Professor at Brandeis University.

• Speaker
Dr. Lamport received a doctorate in mathematics from Brandeis University. An unlikely chain of events led to his current position as distinguished researcher at Microsoft.
Dr. Lamport's initial research in concurrent algorithms made him wellknown as the author of LaTeX, a document formatting system for the everdiminishing class of people who write formulas instead of drawing pictures.
He has received five honorary doctorates from European universities, but has always returned home to Palo Alto. This display of patriotism was rewarded with membership in the National Academy of Engineering, the National Academy of Sciences, and the American Academy of Arts and Sciencesas well as an honorary doctorate from Brandeis.
Dr. Lamport now annoys computer scientists and engineers by urging them to understand an algorithm or system before implementing it, and scares them by saying they should use mathematics. In a vain attempt to get him to talk about other things, the ACM gave him the 2013 Turing Award.

• Follow us on social:
Website: https://codesync.global/conferences/c...
Twitter:   / codemeshio  

• Looking for a unique learning experience?
Attend the next Code Sync conference near you!
See what's coming up at: https://codesync.global

• SUBSCRIBE TO OUR CHANNEL
   / @codesync