Catégorie

Logique mathématique

Personnes associées (16)
Rachid Guerraoui
Rachid Guerraoui has been affiliated with Ecole des Mines of Paris, the Commissariat à l'Energie Atomique of Saclay, Hewlett Packard Laboratories and the Massachusetts Institute of Technology. He has worked in a variety of aspects of distributed computing, including distributed algorithms and distributed programming languages. He is most well known for his work on (e-)Transactions, epidemic information dissemination and indulgent algorithms. He co-authored a book on Transactional Systems (Hermes) and a book on reliable distributed programming (Springer). He was appointed program chair of ECOOP 1999, ACM Middleware 2001, IEEE SRDS 2002, DISC 2004 and ACM PODC 2010. His publications are available at http://lpdwww.epfl.ch/rachid/papers/generalPublis.html
Olivier Schneider
Après une thèse en physique des particules à l'Université de Lausanne, soutenue en 1989, Olivier Schneider rejoint le LBL, Lawrence Berkeley Laboratory (Californie), pour travailler sur l'expérience CDF au Tevatron de Fermilab (Illinois), d'abord au bénéfice d'une bourse de chercher débutant du Fonds National Suisse pour la Recherche Scientifique, puis comme post-doc au LBL. Il participe à la construction et à la mise en service du premier détecteur de vertex au silicium fontionnant avec succès auprès d'un collisionneur hadronique, détecteur qui a permis la découverte du sixième quark, appelé "top". Dès 1994, il revient en Europe et participe à l'expérience ALEPH au grand collisionneur électron-positon du CERN (Genève), comme boursier puis comme titulaire d'un poste de chercheur au CERN. Il se spécialise en physique des saveurs lourdes. En 1998, il est nommé professeur associé à l'Université de Lausanne, puis professeur extraordinaire à l'EPFL en 2003, et enfin professeur ordinaire à l'EPFL en 2010. Ayant participé depuis 1997 à la préparation de l'expérience LHCb au collisionneur LHC du CERN, entrée en fonction à fin 2009, il en analyse maintenant les données. Il contribue aussi depuis 2001 à l'exploitation des données enregistrées par l'expérience Belle au laboratoire KEK (Tsukuba, Japon). Ces deux expériences étudient principalement les désintégrations de hadrons contenant un quark b, ainsi que la violation de CP, c'est-à-dire le non-respect de la symétrie entre matière et antimatière.
Michel Bierlaire
Born in 1967, Michel Bierlaire holds a PhD in Mathematical Sciences from the Facultés Universitaires Notre-Dame de la Paix, Namur, Belgium (University of Namur). Between 1995 and 1998, he was research associate and project manager at the Intelligent Transportation Systems Program of the Massachusetts Institute of Technology (Cambridge, Ma, USA). Between 1998 and 2006, he was a junior faculty in the Operations Research group ROSO within the Institute of Mathematics at EPFL. In 2006, he was appointed associate professor in the School of Architecture, Civil and Environmental Engineering at EPFL, where he became the director of the Transport and Mobility laboratory. Since 2009, he is the director of TraCE, the Transportation Center. From 2009 to 2017, he was the director of Doctoral Program in Civil and Environmental Engineering at EPFL. In 2012, he was appointed full professor at EPFL. Since September 2017, he is the head of the Civil Engineering Institute at EPFL.   His main expertise is in the design, development and applications of models and algorithms for the design, analysis and management of transportation systems. Namely, he has been active in demand modeling (discrete choice models, estimation of origin-destination matrices), operations research (scheduling, assignment, etc.) and Dynamic Traffic Management Systems.  As of August 2021, he has published 136 papers in international journals, 4 books, 41 book chapters, 193 articles in conference proceedings, 182 technical reports, and has given 195 scientific seminars. His Google Scholar h-index is 68.  He is the founder, organizer and lecturer of the EPFL Advanced Continuing Education Course "Discrete Choice Analysis: Predicting Demand and Market Shares".   He is the founder of hEART: the European Association for Research in Transportation.   He was the founding Editor-in-Chief of the EURO Journal on Transportation and Logistics, from 2011 to 2019. He is an Associate Editor of Operations Research. He is the editor of two special issues for the journal Transportation Research Part C. He has been member of the Editorial Advisory Board (EAB) of Transportation Research Part B since 1995, of Transportation Research Part C since January 1, 2006.

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.