Being Human with algorithms : Marc-Oliver Pahl meets with Sir Tony Hoare

Marc-Oliver Pahl is a researcher in cybesecurity at IMT Atlantique. In 2018, he launched “Being human with algorithms”, a series of video interviews between technicians and non-technicians around the topic of digital transformation. Through open discussions and dialogues, he depicts how digital technologies are perceived, and affect humans as citizens, consumers, workers…

In this episode, Marc-Oliver meets with Sir Charles Antony Richard Hoare, winner of a Turing Award in 1980, and developer of quicksort, formal logic for program verification, and the CSP language.