Concept
Théorie des modèles
Personnes associées (30)
Michel Bierlaire
Born in 1967, Michel Bierlaire holds a PhD in Mathematical Sciences from the Facultés Universitaires Notre-Dame de la Paix, Namur, Belgium (University of Namur). Between 1995 and 1998, he was research associate and project manager at the Intelligent Transportation Systems Program of the Massachusetts Institute of Technology (Cambridge, Ma, USA). Between 1998 and 2006, he was a junior faculty in the Operations Research group ROSO within the Institute of Mathematics at EPFL. In 2006, he was appointed associate professor in the School of Architecture, Civil and Environmental Engineering at EPFL, where he became the director of the Transport and Mobility laboratory. Since 2009, he is the director of TraCE, the Transportation Center. From 2009 to 2017, he was the director of Doctoral Program in Civil and Environmental Engineering at EPFL. In 2012, he was appointed full professor at EPFL. Since September 2017, he is the head of the Civil Engineering Institute at EPFL. His main expertise is in the design, development and applications of models and algorithms for the design, analysis and management of transportation systems. Namely, he has been active in demand modeling (discrete choice models, estimation of origin-destination matrices), operations research (scheduling, assignment, etc.) and Dynamic Traffic Management Systems. As of August 2021, he has published 136 papers in international journals, 4 books, 41 book chapters, 193 articles in conference proceedings, 182 technical reports, and has given 195 scientific seminars. His Google Scholar h-index is 68. He is the founder, organizer and lecturer of the EPFL Advanced Continuing Education Course "Discrete Choice Analysis: Predicting Demand and Market Shares". He is the founder of hEART: the European Association for Research in Transportation. He was the founding Editor-in-Chief of the EURO Journal on Transportation and Logistics, from 2011 to 2019. He is an Associate Editor of Operations Research. He is the editor of two special issues for the journal Transportation Research Part C. He has been member of the Editorial Advisory Board (EAB) of Transportation Research Part B since 1995, of Transportation Research Part C since January 1, 2006.
Jean-Pierre Hubaux
Jean-Pierre Hubaux is a full professor at EPFL and head of the Laboratory for Data Security. Through his research, he contributes to laying the foundations and developing the tools for protecting privacy in today’s hyper-connected world. He has pioneered the areas of privacy and security in mobile/wireless networks and in personalized health. He is the academic director of the Center for Digital Trust (C4DT). He leads the Data Protection in Personalized Health (DPPH) project funded by the ETH Council and is a co-chair of the Data Security Work Stream of the Global Alliance for Genomics and Health (GA4GH). From 2008 to 2019 he was one of the seven commissioners of the Swiss FCC. He is a Fellow of both IEEE (2008) and ACM (2010). Recent awards: two of his papers obtained distinctions at the IEEE Symposium on Security and Privacy in 2015 and 2018. He is among the most cited researchers in privacy protection and in information security. Spoken languages: French, English, German, Italian
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.
Nikolaos Stergiopoulos
Education
MTE, Managing the Technology Enterprise Program (2000), IMD, Lausanne
Ph.D. in Biomedical Engineering & Engineering Mechanics (1990) Iowa State University, Ames, Iowa.
MS in Biomedical Engineering (1987) Iowa State University, Ames, Iowa.
Diploma in Mechanical Engineering (1985) National Technical University of Athens.
Professional Activities
2002 - present: Professor and director of LHTC
2010 - present: Founder and director of Rheon Medical SA, Préverenges, Switzerland
2008 - present: Founder and director of Antlia S.A., PSE-C, EPFL campus, Switzerland
1998 - 2007: Founder and Scientific Director of EndoArt S.A., Lausanne, Switzerland
1996 - 2002: Assistant professor at the Biomedical Engineering Laboratory, Swiss Federal Institute of Technology, Lausanne, Switzerland.
1991 - 1996: Research Associate at Swiss Federal Institute of Technology - Lausanne
1990 - 1991: Lecturer, Iowa State University
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-Jacques Meister
Citoyen suisse, Jean-Jacques Meister est né en 1950. Il est titulaire d'un diplôme d'ingénieur en électronique et d'un diplôme d'ingénieur physicien, obtenu en 1979 à l'Ecole polytechnique fédérale de Lausanne (EPFL). Il poursuit sa formation à l'Institut des techniques biomédicales de l'Ecole Polytechnique Fédérale de Zurich et obtient son doctorat ès sciences en 1983. De 1984 à 1990, il travaille dans différents domaines de la physique biomédicale. Ses principales réalisations portent sur le développement de méthodes non-invasives utiles à la prévention et au diagnostic des maladies cardio-vasculaires: caractérisation des propriétés biomécaniques des artères, hémodynamique cardio-vasculaire, échographie Doppler ultrasonore. En 1990, il est nommé professeur de physique expérimentale à l'EPFL où il dirige le Laboratoire de génie médical jusqu'en 2001, puis le laboratoire de biophysique cellulaire. Ses activités de recherche concernent principalement la biophysique cellulaire: dynamique du cytosquelette, motilité & adhésion cellulaire et dynamique du calcium dans les muscles lisses. Lors d'un congé sabbatique en 2000, il complète sa formation en biologie moléculaire et cellulaire au célèbre Marine Biological Laboratory de Woods Hole, dans le Massachusetts, USA. Il enseigne la physique générale, la mécanique générale, le génie biomédical et la biophysique aux étudiants de diverses sections de l'EPFL. Il est auteur ou coauteur de plus de 230 publications scientifiques et chapitres de livres et titulaire de 8 brevets internationaux
Dominique Bonvin
Dominique 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.