Olivier LévêqueOlivier Lévêque est né en Suisse en 1971. Il a reçu le diplôme d'ingénieur-physicien de l'EPFL en 1995 et obtenu le doctorat au Département de Mathématiques de l'EPFL en 2001. Depuis lors, il travaille au Laboratoire de Théorie de l'Information à l' EPFL. Il a passé l'année académique 2006-2007 au Département d'Electricité de l'Université de Stanford, où il a été nommé chargé de cours. Ses domaines d'intérêt comprennent la théorie de l'information, les matrices aléatoires et les équations aux dérivées partielles stochastiques.
Elda Fischi GomezElda Fischi-Gomez holds a BsC and a MsC degree in Telecommunication Engineering from the Polytechnic University of Catalonia (UPC, Barcelona, Spain) and a PhD in Electrical Engineering from the Swiss Federal Institute of Technology (EPFL, Lausanne, Switzerland, 2015). Her main research interests center on the development and application of novel MRI techniques to clinics by optimising the inter-play between multi-modal MR analysis, MR physic/hardware and the underlying clinical neuroscience. She has worked as a post-doctoral fellow at the A.A. Martinos Center of Biomedical Imaging of the Massachusetts General Hospital, Harvard Medical School (Boston, MA, USA) with a Swiss National Foundation Fellowship. Since 2019 she joined the Signal Processing Laboratory 5 of the Swiss Federal Institute of Technology Lausanne (EPFL) with a SPN-PHRT individual grant from the EPFL-ETH domain on microstructure imaging for multiple sclerosis.
Alfio QuarteroniOf italian nationality, Alfio Quarteroni was born on May 30th 1952. He pursued his studies in mathematics at University of Pavia and at University of Paris VI. In 1986 he was nominated full professor at Catholic University of Brescia, later professor in mathematics at University of Minnesota at Minneapolis and professor in numerical analysis at Politecnico di Milano. He is designated full professor in 1997 and enters into service with EPFL in 1998. At EPFL, he teaches numerical analysis to engineers and mathematicians and holds specialized courses about mathematical modelling and scientific computing for master and PhD students. He had been scientific director of CRS4, plenary speaker of more than two hundred international conferences; he is member of the European Academy of Sciences, the Italian Academy of Sciences, the Lombard Academy of Science and Letters. He is Editor in Chief of two book series (MS&A and Unitext) by Springer, associate editor of 25 international journals. He has been plenary speaker at the International Congress of Mathematicians ICM2006. He had been responsible of several European research networks. His team has carried out the aerodynamic and hydrodynamic simulations for the optimization of Alinghi, the Swiss sailing yacht that has won two editions of the America's Cup in 2003 and 2007.
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.
Serge VaudenaySerge Vaudenay entered at the Ecole Normale Supérieure in 1989 with a major in mathematics. He earned his agrégation (secondary teaching degree) in mathematics in 1992, then a PhD in Computer Science at the University of Paris 7 - Denis Diderot in 1995. He subsequently became a senior research fellow at the CNRS, prior to being granted his habilitation à diriger des recherches (a postdoctoral degree authorizing the recipient to supervise doctoral students). In 1999, he was appointed as a Professor at the EPFL, where he created the Security and Cryptography Laboratory.
