High expectations for AI to ensure the security of new networksCoronaCheck : separating fact from fiction in the Covid-19 epidemic
I'MTech2020-04-13 12:29:562020-05-27 12:28:57Being 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.