Thomas LieblingThomas M. Liebling (http://roso.epfl.ch) is Mathematics Professor Emeritus at EPFL (Lausanne), where he taught from 1980 to 2008 and directed the OR group ROSO.
He served on the jury of 112 PhD and habilitation theses, 39 as director. He further supervised 150 MS theses and 350 term projects, many of which in collaboration with industry and private and public services. He published over 200 refereed papers, books, and book chapters.
Previous appointments were with ETHZ, and RPI; as visiting professor with Cornell, ELTE-Budapest, MIT, PUC-Rio, and Stanford.
He received his education from ETH Zurich:
MS in EE (1966, automatic control),
PhD in operations research (1969; awarded the ETH prize and medal).
Mathematics habilitation (1973) with a pioneering probabilistic study on the number of iterations of the simplex method.
Postdoctoral fellowship (1970/71) Stanford University with G.B. Dantzig
He holds the Science Prize of the German OR Society, is a member of the Swiss Academy of Engineering Sciences and the Scientific Council of ZIB, Berlin.
He received a honorary degree from the Universidad Nacional Mayor de San Marcos, Lima and the Medal of Merit from EPN Escuela Politécnica Nacional, Quito.
Editorial activities: DE (Optimization and Networks) of Management Science, AE of Operations Research, OR-letters, OR-Spectrum, EJOR, Discrete Applied Optimization, and Math. Programming, recurring guest-editor of MPB and DAM.
He is Editor in Chief of the MOS-SIAM book series on optimization.
He is a founding organizer of the Aussois Workshops in Combinatorial Optimization, and member of the steering committee of LAGOS (Latin American Graphs, Optimizstion Symposium) chaired the MPS Publications Committee, Tucker Prize Committee, and presently chairs its Symposium Advisory Committee. He organized ISMP 1997 at EPFL, with nearly 1500 participants from 63 countries, the largest to date. He has chaired the Conference of Department Chairmen (a position comparable to a provost), the Computer Commission (responsible for the introduction at EPFL of the first Swiss supercomputer), and further chaired the Research Commission over 6 years, he created the Doctoral Award and was its first Jury chair. He belonged to the Board of Trustees of the Swiss National Science Foundation .
Much of his research lies at the interface with other disciplines (physics, life sciences, materials science, management, engineering, logistics), focusing on complex systems modeling, simulation, and optimization.
His present research interests are in algorithmic game theory and complex particle system modeling and simulation using paradigms from mathematical programming, discrete geometry and probability. 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).
