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
George Manoussakis, lauréat 2018, prix de thèse (accessit) Charles Delorme
18 septembre 2018
George Manoussakis, est lauréat de prix de thèse (accessit) Ch. Delorme 2018. Il a soutenu sa thèse au LRI/Galac en Novembre 2017 sous la direction de J. Cohen et A. Deza. Depuis Septembre 2018 il est MdeC à l'Université de Versailles/Li-PaRAD.

TrackML dans Nature
21 janvier 2018
L'apprentissage automatique peut-il aider la physique des hautes énergies à découvrir et à caractériser de nouvelles particules ? TAO participe à l'organisation du challenge TrackML avec le CERN. La seconde phase de la compétition utilisera Codalab.

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