Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Séminaire Digiteo, 28 Avril 2014, 14:30, Supélec, F.3.06
Séminaire Digiteo, 28 Avril 2014, 14:30, Supélec, F.3.06
Séminaire Digiteo, 28 Avril 2014, 14:30, Supélec, F.3.06 Séminaire Digiteo, 28 Avril 2014, 14:30, Supélec, F.3.06
28 avril 2014

Titre : Adversary-Oriented Computing
Conférencier : Rachid Guerraoui, Prof. EPFL
Abstract: This talk will describe Adversary-Oriented Computing (AOC), a new paradigm to build high-assurance distributed programs. The underlying idea consist
Résumé : 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.   



Rachid Guerraoui is a 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) 



Pour en savoir plus: http://www.digiteo.fr/seminaire-de-rachid-guerraoui-adversary-oriented
News
Un article de Isabelle Guyon sur la démocratisation de l'IA
19 mars 2018
Lien vers l'article paru dans le journal le monde :
http://www.lemonde.fr/acces-restreint/sciences/article/2018/04/08/a4544bd07cad09fe52980c0f82c08b34_5282548_1650684.html

Michèle Sebag a été élue membre de l'Academie des Technologies
13 avril 2018
Michèle Sebag, DR CNRS et Directrice Adjointe du LRI, a été élue membre de l'Academie des Technologies

https://www.academie-technologies.fr/members/454-michele-sebag

Lin Chen a reçu la médaille de bronze du CNRS
27 mars 2018
Lin Chen, membre de l'équipe GALAC (https://www.lri.fr/~chen/) a reçu la médaille de bronze du CNRS. Ses principaux travaux de recherche portent sur la modélisation, l'analyse théorique, et la conception des algorithmes et protocoles distribués innovants