Related people (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
Philippe Thalmann was born in Lausanne in 1963. He graduated in Economics from the University of Lausanne in 1984, where he earned a postgraduate diploma in Economics in 1986. Mr. Thalmann entered the doctoral program in Economics of Harvard University (Cambridge, U.S.A.) in 1986, which he completed with a Ph.D. in 1990. His dissertation is entitled: "Essays in the Economics of Government Revenues and Spending". Returning to Switzerland, he was hired as an assistant professor first at the University of Geneva (teachings in Public Economics), then at the University of Lausanne (teachings in Econometrics and Introductory Economics). Since 1994, Mr. Thalmann is associate professor of Economics as the Swiss Federal Institute of Technology at Lausanne.
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 graduated in Physics from the ETHZ in Zurich in 1973 and received the PhD degree in Computer Science from EPFL in 1980. He has been a professor of computer science at EPFL since 1985, leading the Distributed Systems Laboratory. During the academic year 1992-1993 he was on sabbatical leave at the University of Cornell, Ithaca, New York (working with Ken Birman and Aleta Ricciardi), and in 2004-2005 at the Ecole Polytechnique in Palaiseau, France (working with Bernadette Charron-Bost). His research interests are in the area of dependable distributed systems, middleware support for dependable systems, replication techniques (including for database systems), group communication, distributed transactions, and MANETs (mobile ad-hoc networks). Prof. Schiper is member of the editorial boards of 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
Claudia R. Binder, a Swiss, Canadian and Colombian citizen, was born in Montreal and spent most of her childhood in Switzerland and Colombia. She studied at ETH Zurich from 1985 to 1996, earning a degree in biochemistry and then a PhD in environmental sciences. After conducting her post-doctoral research at the University of Maryland in the US from 1996 to 1998, she returned to Switzerland and took a position as a senior research scientist at ETH Zurich, studying the interaction between human and environmental systems at the Institute for Natural and Social Science Interface. In 2006, Binder joined the University of Zurich as an assistant professor in the Department of Geography, and in 2009 moved to the University of Graz in Austria where she served as a full professor of systems science. In 2011, she took a position at the University of Munich’s Department of Geography as a full professor of human-environment relations. Binder joined EPFL in March 2016 and set up the Laboratory for Human-Environment Relations in Urban Systems (HERUS) at ENAC; she also holds the La Mobilière Chair on Urban Ecology and Sustainable Living. Her research involves analyzing, modelling and assessing the transition of urban systems towards sustainability. She looks in particular at how we can better understand the dynamics of urban metabolism, what characterizes a sustainable city, and what drives and hinders transformation processes. She does so by combining knowledge from social, natural and data science. Her research focuses on food, energy, and sustainable living and transport in urban systems. In Switzerland, Binder was appointed to the Research Council, Programs Division of the Swiss National Science Foundation (SNSF) in 2016 and serves on the Steering Committee of the SNSF’s National Research Program 71, “Managing Energy Consumption” and the Swiss Competence Centers for Energy Research (SCCER). She is also a member of the Steering Board on Sustainability Research for the Swiss Academies of Arts and Sciences. In 2019, she was elected as a member of the University Council of the University of Munich (LMU). At EPFL, Binder is the academic director of Design Together, a cross-disciplinary teaching initiative. She was appointed to the management team of the Energy Center in 2018 and as head of the working group on EPFL’s energy and sustainability strategy in 2019.

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.