» ÉVÈNEMENTS » Séminaires Digiteo » Précédents séminaires » Adversary-Oriented Computing, Rachid Guerraoui

28 avril 2014

Adversary-Oriented Computing, Rachid Guerraoui

Le séminaire Digiteo a eu lieu le lundi 28 avril, à 14:30 à Supelec dans l’amphithéatre F3:06.

JPEG - 911.5 ko

Titre de la conférence : Adversary-Oriented Computing
Speaker : Rachid Guerraoui, Professor, Ecole Polytechnique Fédérale de Lausanne

Abstract : Recent technological evolutions, including the cloud, the multicore and the social ones, are turning computing ubiquitously distributed.
Yet, building high-assurance distributed programs is notoriously challenging. This talk will describe Adversary-Oriented Computing (AOC), a new paradigm to build high-assurance distributed programs.
The underlying idea consists in introducing a new dimension for separating the concerns of a distributed program and a new corresponding way to achieve their modular design, proof, verification, implementation and debugging.

Bio : Rachid Guerraoui is professor in computer science at the Ecole Polytechnique Fédérale de Lausanne. He is ACM Fellow and associate editor of the Journal of the ACM. He has just been awarded a senior ERC on his AOC project. He has also been affiliated in the past with MIT and HP labs in California. (lpdwww.epfl.ch/rachid)