Concept
Droit des biens
Personnes associées (12)
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).
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
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.
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.
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).
Dominique de Werra
Né en1942, Dominique de Werra est ingénieur-physicien et docteur ès sciences techniques de l'EPFL. De 1969 à 1971, il a été professeur au département de sciences du management à l'Université de Waterloo (Canada); il a été professeur invité dans diverses Hautes Ecoles européennes (dont le CNAM et lENSTA) et américaines. Entre 1971 et 2007, il a été professeur de recherche opérationnelle à l'EPFL. Il a été vice-président de cette institution et directeur de la formation de 1990 à 2000. Il a ensuite été doyen des relations internationales.
Ses recherches portent sur les mathématiques discrètes (optimisation combinatoire, théorie des graphes, algorithmique, etc.) et leurs applications aux systèmes industriels et informatiques en particulier en productique, distributique, énergétique et ordonnancement.
Il a été membre du Conseil dOrientation Stratégique des Ecoles des Mines entre 2001 et 2007.Il a dautre part fait partie de divers comités dévaluation et daccréditation des universités en Europe et en Amérique.
En 1987-1988, il a présidé l'association EURO qui regroupe les sociétés nationales de recherche opérationnelle en Europe et de 2010 à 2012 la Fédération IFORS qui est lorganisme faîtier au niveau mondial. Il est docteur h.c. de l'Université de Paris, de l'Ecole polytechnique de Poznan (Pologne), de lUniversité de Fribourg et lauréat de la médaille d'or européenne (EURO) de recherche opérationnelle en 1995 ainsi que de la EURO Distinguished Service Medal en 2012.
Il est éditeur associé de divers journaux dont en particulier Discrete Applied Mathematics, Discrete Optimization.