Concept
Propriété
Personnes associées (17)
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
Jean-Yves Le Boudec
Jean-Yves Le Boudec is full professor at EPFL and fellow of the IEEE. He graduated from Ecole Normale Superieure de Saint-Cloud, Paris, where he obtained the Agregation in Mathematics in 1980 (rank 4) and received his doctorate in 1984 from the University of Rennes, France. From 1984 to 1987 he was with INSA/IRISA, Rennes. In 1987 he joined Bell Northern Research, Ottawa, Canada, as a member of scientific staff in the Network and Product Traffic Design Department. In 1988, he joined the IBM Zurich Research Laboratory where he was manager of the Customer Premises Network Department. In 1994 he joined EPFL as associate professor. His interests are in the performance and architecture of communication systems. In 1984, he developed analytical models of multiprocessor, multiple bus computers. In 1990 he invented the concept called "MAC emulation" which later became the ATM forum LAN emulation project, and developed the first ATM control point based on OSPF. He also launched public domain software for the interworking of ATM and TCP/IP under Linux. He proposed in 1998 the first solution to the failure propagation that arises from common infrastructures in the Internet. He contributed to network calculus, a recent set of developments that forms a foundation to many traffic control concepts in the internet. He earned the Infocom 2005 Best Paper award, with Milan Vojnovic, for elucidating the perfect simulation and stationarity of mobility models, the 2008 IEEE Communications Society William R. Bennett Prize in the Field of Communications Networking, with Bozidar Radunovic, for the analysis of max-min fairness and the 2009 ACM Sigmetrics Best Paper Award, with Augustin Chaintreau and Nikodin Ristanovic, for the mean field analysis of the age of information in gossiping protocols. He is or has been on the program committee or editorial board of many conferences and journals, including Sigcomm, Sigmetrics, Infocom, Performance Evaluation and ACM/IEEE Transactions on Networking. He co-authored the book "Network Calculus" (2001) with Patrick Thiran and is the author of the book "Performance Evaluation of Computer and Communication Systems" (2010).
Philippe Thalmann
Originaire de Malters (LU), Philippe Thalmann est né à Lausanne en 1963. Il est licencié en économie politique de l'Université de Lausanne en 1984, où il a aussi obtenu le diplôme postgrade dans la même branche en 1986. M. Thalmann est entré dans le programme doctoral en économie de l'Université Harvard (Cambridge, E.-U.) en 1986 et l'a achevé avec le doctorat (Ph.D.) en 1990. De retour en Suisse, il est nommé maître-assistant à l'Université de Genève pour y enseigner l'économie et les finances publiques, puis professeur assistant à l'Université de Lausanne en 1993, pour y enseigner l'économétrie appliquée et l'économie nationale. En 1994, M. Thalmann est nommé professeur extraordinaire à l'EPFL (aujourd'hui professeur associé). Lors de la réorganisation de l'EPFL en 2000, il réoriente sa chaire de l'économie de la construction vers l'économie de l'environnement naturel et construit.
Viktor Kuncak
Viktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.
André Schiper
André Schiper obtenu un diplôme en physiques de l'ETHZ en 1973 et un doctorat en informatique de l'EPFL en 1980. Il est professeur en informatique à l'EPFL depuis 1985, à la tête du Laboratoire de systèmes distribués. Durant l'année académique 1992-1993, il fut en congé sabbatique à l'Université de Cornell, Ithaca, New York (travaillant avec Ken Birman and Aleta Ricciardi), et en 2004-2005 à l'Ecole Polytechnique à Palaiseau, France (travaillant avec Bernadette Charron-Bost).
Ses domaines de recherches sont dans le secteur de la dépendance des systèmes distribués, support middleware pour systèmes dépendants, techniques de réplication (incluant bases de données), communication de groupe, transactions distribuées et MANETs (réseaux mobiles ad-hoc).
Prof. Schiper est membre du comité editorial de
Distributed Computing (DC), Springer Verlag - ACM,
Transactions on Dependable and Secure Computing (TDSC), IEEE,
International Journal of Security and Networks (Inderscience).
Berend Smit
Berend Smit received an MSc in Chemical Engineering in 1987 and an MSc in Physics both from the Technical University in Delft (the Netherlands). He received in 1990 cum laude PhD in Chemistry from Utrecht University (the Netherlands). He was a (senior) Research Physicists at Shell Research from 1988-1997, Professor of Computational Chemistry at the University of Amsterdam (the Netherlands) 1997-2007.
In 2004 Berend Smit was elected Director of the European Center of Atomic and Molecular Computations (CECAM) Lyon France. Since 2007 he is Professor of Chemical Engineering and Chemistry at U.C. Berkeley and Faculty Chemist at Materials Sciences Division, Lawrence Berkeley National Laboratory. Since 2014 he has been director of the Energy Center at EPFL.
Jérôme Baudry
Jérôme Baudry is a historian of science and technology. Since 2019, he is a tenure-track assistant professor at EPFL, where he heads the Laboratory for the History of Science and Technology (LHST) and manages the UNIL-EPFL Collection of Scientific Instruments. He studied history, mathematics, sociology and economics in Paris, before receiving a PhD in the history of science at Harvard University. His research interests include the history of intellectual property, the role of the visual in science and technology, and the history and sociology of public participation in science. He is particularly interested in developing and experimenting with new tools and methods — especially digital and computational — for historical research.
Claudia Rebeca Binder Signer
Née à Montréal, Claudia R. Binder est d’origine canadienne, suisse et colombienne. Elle grandit entre la Suisse et la Colombie. Alumni de l’ETH de Zurich, elle y obtient un diplôme en biochimie et un doctorat en Sciences de l'environnement, de 1985 à 1996. Elle poursuit sa carrière avec un post doctorat à l'Université du Maryland, aux États-Unis, de 1996 à 1998, et travaille en qualité d’assistante-senior à l’ETH jusqu’en 2006, où elle se spécialise dans les systèmes humains-environnementaux. Elle est ensuite nommée Professeure assistante au Département de géographie de l'Université de Zurich, un poste qu’elle occupe jusqu’en 2009.
Elle obtient en 2009 le titre de Professeure ordinaire en Sciences systémiques à l’Université de Graz, en Autriche et rejoint en 2011 le Département de Géographie de l’Université de Munich, en Allemagne, en tant que Professeure ordinaire en relations humaines-environnementales. Elle intègre l’EPFL en mars 2016, où elle ouvre le Laboratoire de relations humaines-environnementales dans les systèmes urbains (HERUS), rattaché à la Chaire La Mobilière pour l’écologie urbaine et un mode de vie durable, au sein de la Faculté de l’environnement naturel, architectural et construit (ENAC).
Ses recherches portent sur l'analyse, la modélisation et l'évaluation de la transition des systèmes urbains vers la durabilité. Elle examine en particulier comment nous pouvons mieux comprendre la dynamique du métabolisme urbain, ce qui caractérise une ville durable et ce qui anime et entrave les processus de transformation. Elle explore ces sujets en combinant les domaines des sciences sociales, des sciences naturelles et de la science des données. Ses recherches portent sur l'alimentation, l'énergie, les modes de vie et les transports durables dans les systèmes urbains.
En Suisse, Binder a été nommé membre du Conseil de la recherche, Division des programmes du Fonds national suisse (FNS) en 2016 et fait partie du Comité directeur du Programme national de recherche 71 du FNS, "Gestion de la consommation d'énergie" et du Swiss Competence Centers for Energy Research (SCCER). Elle est également membre du comité directeur sur Sustainability Research des Académies suisses des sciences et des lettres. En 2019, elle a été élue membre du Conseil universitaire de l'Université de Munich (LMU).
A l’EPFL, Claudia R. Binder est la directrice académique du programme d’enseignement interdisciplinaire «Projeter Ensemble». Elle a été nommée membre de la Direction du Centre de l'énergie en 2018 et dirige depuis 2019 le groupe de travail sur la Stratégie énergétique et de durabilité de l’école.