Computing Community Consortium Blog

The goal of the Computing Community Consortium (CCC) is to catalyze the computing research community to debate longer range, more audacious research challenges; to build consensus around research visions; to evolve the most promising visions toward clearly defined initiatives; and to work with the funding organizations to move challenges and visions toward funding initiatives. The purpose of this blog is to provide a more immediate, online mechanism for dissemination of visioning concepts and community discussion/debate about them.


Posts Tagged ‘Leslie Lamport

 

Have fun! Life and Career Advice from Sir C. Antony R. Hoare and Leslie Lamport

September 22nd, 2020 / in conferences, videos / by Khari Douglas

Khari Douglas will be covering the Virtual HLF 2020 on the CCC blog all week. Stay tuned for more and watch the program via livestream here.  The Virtual Heidelberg Laureate Forum (HLF) 2020 kicked off today (September 21st) via livestream. As part of the day’s program, Sir C. Antony R. Hoare and Leslie Lamport, both winners of the ACM A.M. Turing Award, sat down for a conversation to discuss their careers and offer advice to the young researchers in the audience. Lamport began the session by asking Hoare how his early school days prepared him to be a computer scientist. Hoare revealed he was nicknamed “Prof” by his classmates because of his studiousness and cited Bertrand Russell, […]