Heidelberg Laureate Forum | Laureate Discussion | September 19 @LaureateForum | Uploaded 2 years ago | Updated 8 hours ago
A panel of laureates unpacks a topic at the intersection of mathematics and computer science with strong implications for society at large.
Moderator: Vicki Hanson
CEO, Association for Computing Machinery (ACM)
Vinton Gray Cerf
ACM A.M. Turing Award - 2004
Together with Robert E. Kahn for pioneering work on internetworking, including the design and implementation of the Internet’s basic communications protocols, TCP/IP, and for inspired leadership in networking.
Leslie Lamport
ACM A.M. Turing Award - 2013
For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency.
Joseph Sifakis
ACM A.M. Turing Award - 2007
Together with Edmund Clarke and E. Allen Emerson, for their role in developing Model Checking into a highly effective verification technology that is widely adopted in the hardware and software industries.
The 9th Heidelberg Laureate Forum took place from September 18–23, 2022. #HLF22
The Heidelberg Laureate Forum (HLF) is an annual networking conference where 200 carefully selected young researchers in mathematics and computer science spend a week interacting with the laureates of the most prestigious awards in their disciplines: the Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal, IMU Abacus Medal and Nevanlinna Prize.
The opinions expressed in the videos do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of these videos.
More information on the Heidelberg Laureate Forum: heidelberg-laureate-forum.org
Follow us on social media!
Blog: https://scilogs.spektrum.de/hlf/
Twitter: twitter.com/HLForum
Instagram: instagram.com/hlforum
Facebook: facebook.com/HeidelbergLaureateForum
A panel of laureates unpacks a topic at the intersection of mathematics and computer science with strong implications for society at large.
Moderator: Vicki Hanson
CEO, Association for Computing Machinery (ACM)
Vinton Gray Cerf
ACM A.M. Turing Award - 2004
Together with Robert E. Kahn for pioneering work on internetworking, including the design and implementation of the Internet’s basic communications protocols, TCP/IP, and for inspired leadership in networking.
Leslie Lamport
ACM A.M. Turing Award - 2013
For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency.
Joseph Sifakis
ACM A.M. Turing Award - 2007
Together with Edmund Clarke and E. Allen Emerson, for their role in developing Model Checking into a highly effective verification technology that is widely adopted in the hardware and software industries.
The 9th Heidelberg Laureate Forum took place from September 18–23, 2022. #HLF22
The Heidelberg Laureate Forum (HLF) is an annual networking conference where 200 carefully selected young researchers in mathematics and computer science spend a week interacting with the laureates of the most prestigious awards in their disciplines: the Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal, IMU Abacus Medal and Nevanlinna Prize.
The opinions expressed in the videos do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of these videos.
More information on the Heidelberg Laureate Forum: heidelberg-laureate-forum.org
Follow us on social media!
Blog: https://scilogs.spektrum.de/hlf/
Twitter: twitter.com/HLForum
Instagram: instagram.com/hlforum
Facebook: facebook.com/HeidelbergLaureateForum
