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.
David Andrew BarryResearch InterestsSubsurface hydrology, constructed wetlands, ecological engineering, in particular contaminant transport and remediation of soil and groundwater; more generally, models of hydrological and vadose zone processes; application of mathematical methods to hydrological processes; coastal zone sediment transport, aquifer-coastal ocean interactions; hydrodynamics and modelling of lakes.
Ali H. SayedAli H. Sayed is Dean of Engineering at EPFL, Switzerland, where he also leads the Adaptive Systems Laboratory. He has also served as Distinguished Professor and Chairman of Electrical Engineering at UCLA. He is recognized as a Highly Cited Researcher and is a member of the US National Academy of Engineering. He is also a member of the World Academy of Sciences and served as President of the IEEE Signal Processing Society during 2018 and 2019.
Dr. Sayed is an author/co-author of over 570 scholarly publications and six books. His research involves several areas
including adaptation and learning theories, data and network sciences, statistical inference, and multiagent systems.
His work has been recognized with several major awards including the 2022 IEEE Fourier Award, the 2020 Norbert Wiener Society Award and the 2015 Education Award from the IEEE Signal Processing Society, the 2014 Papoulis Award from the European Association for Signal Processing, the 2013 Meritorious Service Award and the 2012 Technical Achievement Award from the IEEE Signal Processing Society, the 2005 Terman Award from the American Society for Engineering Education, the 2005 Distinguished Lecturer from the IEEE Signal Processing Society, the 2003 Kuwait Prize, and the 1996 IEEE Donald G. Fink Prize. His publications have been awarded several Best Paper Awards from the IEEE (2002, 2005, 2012, 2014) and EURASIP (2015). He is a Fellow of IEEE, EURASIP, and the American Association for the Advancement of Science (AAAS); the publisher of the journal Science.
Michel BierlaireBorn 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.
Tudor RatiuCitoyen des Etats-Unis, Tudor Ratiu est né en 1950 à Timisoara, Roumanie. Il a obtenu un diplôme en mathématiques en 1973 ainsi qu'un diplôme de maîtrise en mathématiques appliquées en 1974 à l'Université de Timisoara. Pour des raisons politiques il lui est interdit de poursuivre ses études et en 1975 il est obligé de quitter son pays. En 1980 il obtient un doctorat à l'Université de Californie à Berkeley avec une thèse en mécanique géométrique et est nommé professeur assistant de recherche T.H. Hildebrandt à l'Université de Michigan, Ann Arbor.
En 1983 il rejoint l'Université d'Arizona, Tucson, comme professeur associé et en 1987 l'Université de Californie, Santa Cruz, ou il est nommé professeur ordinaire en 1988. Il lui a été décerné une bourse postdoctorale du Fonds national scientifique américain, une bourse de la fondation A.P. Sloan, la chaire de recherche professoriale Miller à Berkeley, une bourse Fulbright et le prix allemand A. von Humboldt. Il a été professeur et chercheur invité dans plusieurs départements et instituts de recherche mathématiques du monde.
Les thèmes principaux de sa recherche sont l'analyse globale, la mécanique des fluides et du plasma, la dynamique hamiltonienne, la mécanique géométrique, la géométrie symplectique et de Poisson, la théorie de bifurcations et l'étude des systèmes complètement intégrables. Ses travaux concernent l'aspect mathématique de ces problèmes ainsi que leurs applications en physique et les sciences d'ingénieur. Il est auteur, en collaboration, de plusieurs livres de spécialité.
En 1997 il est nommé professeur ordinaire en analyse au Département de mathématiques et entre en fonction en juillet 1998.
Henrik Moodysson RønnowHenrik Ronnow was born in Copenhagen in 1974. He was awarded his master's degree in physics in 1996. Having earned his doctorate in 2000, he left Denmark for training at the Laue-Langevin Institute in Grenoble. Between 2000 and 2002, he held a Marie Curie Fellowship hosted by the Atomic Energy Commission. In 2002 he was appointed as an invited researcher at the NEC Laboratories in Princeton, then at the University of Chicago's James Franck Institute. In 2003, he became a researcher at the Laboratory for Neutron Scattering (Swiss Federal Institute of Technology in Zurich) and at the Paul Scherrer Institute. In 2007 he was appointed Assistant Professor at Ecole Polytechnique federale de Lausanne (EPFL). In 2012 he was promoted to Associate Professor. Profession 2012- Associate Professor, Laboratory for Quantum Magnetism, EPFL, Switzerland 2007-2012 Assistant Professor, Laboratory for Quantum Magnetism, EPFL, Switzerland 2003-2006 Scientist, Laboratory for Neutron Scattering, ETH-Zürich & Paul Scherrer Institute, Switzerland 2002-2003 Visiting Scientist, NEC-Laboratories Inc., Princeton, and James Franck Institute, University of Chicago, USA 2000-2002 Marie Curie Fellowship funded by the EU, hosted by Commissariat à l'Energie Atomique, Grenoble, France 2000 Postdoc, Institut Laue-Langevin, Grenoble, France 1996 Research assistant, Risø National Laboratory, Denmark Education 2000 Ph.D. in Physics, Risø National Laboratory and University of Copenhagen: Aspects of quantum magnetism in one, two and three dimensions 1996 M.Sc. in Physics, University of Copenhagen: Magnetic properties of holmium-erbium alloys 1995 B.Sc in Mathematics, University of Copenhagen 1994 B.Sc in Physics, University of Copenhagen 1992 High school graduate, Natural Sciences, Scolae Academiae Sorana
