A quarter century into the modern era of computing, two young assistant professors joined forces with the legendary Alan Perlis, one of the founding fathers of American computer science, and would publish a paper challenging the conventional wisdom that computer programming should be formal and mathematical. It was a shot across the bow to Edsgar Dijkstra, Tony Hoare and many others who sought the certainty of mathematical proofs of software correctness. The paper would become a lightning rod for a debate that would continue for the better part of four decades.
Thursday, June 17, 2021 – 19:00 to 20:30
The College of Computing at Georgia Tech invites you to take part in a historical conversation between Rich DeMillo and Dick Lipton, two pioneers in computer science who helped shape a field that has come to reshape how we live every day.