Thomas LieblingOriginaire de Greifensee (ZH), Thomas M. Liebling est né à La Paz (Bolivie) en 1942. Il obtient un diplôme d'ingénieur électricien, le titre de docteur et l'habilitation en mathématiques à l'EPFZ. Il est lauréat du Prix et de la Médaille de l'ETH, ainsi que du Prix Biennial de la Science de la GOR.
Après des séjours aux USA comme chercheur et professeur, notamment aux universités de Stanford et au Rensselaer Polytechnic Institute il entre à l'EPFL en 1980, en tant que professeur au Département de mathématiques. Il dirige le ROSO, un groupe formé d'une douzaine de collaborateurs se vouant à la modélisation, simulation et optimisation de systèmes physiques, biologiques, techniques et économiques, en particulier aux applications en logistique et productique.
Membre de 107 jurys de thèse de doctorat et habilitations, il en a été directeur de 39. En outre il a dirigé quelque 150 thèses de master et 350 projets de semestre.
Durant dix ans il est un des responsables du cours postgrade en informatique technique. Il dirige le cours doctoral en optimisation discrete organisé conjointement avec les Universités de Grenoble, Louvain-la-Neuve et Cologne. Il a présidé la Commission informatique de l'EPFL et le Conseil PHP, ainsi que de la Conférence des chefs de département. Chargé de créer le Prix EPFL des doctorats, il en préside le jury. Durant cinq ans il préside la commission de recherche de l'EPFL.
Auteur et coauteur de plusieurs ouvrages et de quelque 200 d'articles scientifiques, il a fonctionné comme Editeur départemental de Management Science, et Editeur associé notamment de Operations Research, Operations Research Letters, Mathematical Programming, Discrete Optimzatio. Il est membre du conseil scientifique du Konrad-Zuse-Zentrum. Il est membre individuel dela SATW, l'académie suisse des sciences techniques. Il a préside le Tucker Prize Committee de la Société Internationale de Programmation Mathématique, ainsi que le Symposium Advisory Committee. De 2003 à 2008 il est membre du Comité du Conseil de Fondation du Fonds National Suisse de la Recherche Scientifique.
Viktor KuncakViktor 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.
Dominique BonvinDominique Bonvin is Professor and Director of the Automatic Control Laboratory of EPFL. He received his Diploma in Chemical Engineering from ETH Zürich, and his Ph.D. degree from the University of California, Santa Barbara. He worked in the field of process control for the Sandoz Corporation in Basel and with the Systems Engineering Group of ETH Zürich. He joined the EPFL in 1989, where his current research interests include modeling, control and optimization of dynamic systems. He served as Director of the Automatic Control Laboratory for the periods 1993-97, 2003-2007 and again since 2012, Head of the Mechanical Engineering Department in 1995-97 and Dean of Bachelor and Master Studies at EPFL for the period 2004-2011.
Rachid GuerraouiRachid 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 Alireza KarimiAlireza Karimi received his B. Sc. and M. Sc. degrees in Electrical Engineering in 1987 and 1990, respectively, from Amir Kabir University (Tehran Polytechnic). Then he received his DEA and Ph. D. degrees both on Automatic Control from Institut National Polytechnique de Grenoble (INPG) in 1994 and 1997, respectively. He was Assistant Professor at Electrical Engineering Department of Sharif University of Technology in Teheran from 1998 to 2000. Then he joined Automatic Laboratory of Swiss Federal Institute of Technology at Lausanne, Switzerland. He is currently Professor of Automatic Control and the head of "Data-Driven Modelling and Control" group. His research interests include data-driven controller tuning and robust control with application to mechatronic systems and electrical grids.
Jean-Yves Le BoudecJean-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).
