James Richard LarusEnseignement et PhD A dirigé les thèses EPFL de Stuart Anthony Byma, David Teksen Aksun, Sahand Kashani A co-dirigé les thèses EPFL de Adrien Ghosn, Seyedmahyar Emami
Raphaël DefertEnseignement et PhD Cours Analyse et gestion de risques CIVIL-438 Le cours vise à former les étudiants aux méthodes et outils permettant d'appréhender de manière fondée et scientifique la question de l'analyse et de la gestion des risques technologiques et naturels, avec une attention portée au domaine du Génie civil.
Olivier SchneiderAprès une thèse en physique des particules à l'Université de Lausanne, soutenue en 1989, Olivier Schneider rejoint le LBL, Lawrence Berkeley Laboratory (Californie), pour travailler sur l'expérience CDF au Tevatron de Fermilab (Illinois), d'abord au bénéfice d'une bourse de chercher débutant du Fonds National Suisse pour la Recherche Scientifique, puis comme post-doc au LBL. Il participe à la construction et à la mise en service du premier détecteur de vertex au silicium fontionnant avec succès auprès d'un collisionneur hadronique, détecteur qui a permis la découverte du sixième quark, appelé "top". Dès 1994, il revient en Europe et participe à l'expérience ALEPH au grand collisionneur électron-positon du CERN (Genève), comme boursier puis comme titulaire d'un poste de chercheur au CERN. Il se spécialise en physique des saveurs lourdes. En 1998, il est nommé professeur associé à l'Université de Lausanne, puis professeur extraordinaire à l'EPFL en 2003, et enfin professeur ordinaire à l'EPFL en 2010. Ayant participé depuis 1997 à la préparation de l'expérience LHCb au collisionneur LHC du CERN, entrée en fonction à fin 2009, il en analyse maintenant les données. Il contribue aussi depuis 2001 à l'exploitation des données enregistrées par l'expérience Belle au laboratoire KEK (Tsukuba, Japon). Ces deux expériences étudient principalement les désintégrations de hadrons contenant un quark b, ainsi que la violation de CP, c'est-à-dire le non-respect de la symétrie entre matière et antimatière.
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.
Roger HerschRoger D. Hersch is professor of Computer Science and head of the Peripheral Systems Laboratory at EPFL. He received his engineering degree from ETHZ in 1975, worked in industry from 1975 to 1980, and obtained his PhD degree from EPFL in 1985. He directed the widely known
Visible Human Web Server project
, which offers a number of services for the visualization of human anatomy.
His current research focuses on color reproduction, spectral color prediction models, moiré imaging, and visual document security. Recent achievements include the PhotoProtect technology, which incorporates text as chromatic differences in order to protect identity photographs (Swiss driving license), microstructure imaging, which is used by railways companies (SNCF, RENFE) and festival organizers (Paleo) to print tickets at home and the band moire imaging technology for the protection of security documents.
Paolo IennePaolo Ienne has been a Professor at the EPFL since 2000 and heads the Processor Architecture Laboratory (LAP). Prior to that, he worked for the Semiconductors Group of Siemens AG, Munich, Germany (which later became Infineon Technologies AG) where he was at the head of the Embedded Memories unit in the Design Libraries division. His research interests include various aspects of computer and processor architecture, FPGAs and reconfigurable computing, electronic design automation, and computer arithmetic. Ienne was a recipient of Best Paper Awards at the 20th, 24th, and 28th ACM/SIGDA International Symposia on Field-Programmable Gate Arrays (FPGA), in 2012, 2016 and 2020, at the 19th and 30th International Conference on Field-Programmable Logic and Applications (FPL), in 2009 and 2020, at the International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES), in 2007, and at the 40th Design Automation Conference (DAC), in 2003; many other papers have been candidates to Best Paper Awards in prestigious venues. He has served as general, programme, and topic chair of renown international conferences, including organizing in Lausanne the 26th International Conference on Field-Programmable Logic and Applications (FPL) in 2016. He serves on the steering committee of the IEEE Symposium on Computer Arithmetic (ARITH) and of the International Conference on Field-Programmable Logic and Applications (FPL). Ienne has guest edited a number of special issues and special sections on various topics for IEEE and ACM journals. He is regularly member of program committees of international workshops and conferences in the areas of design automation, computer architecture, embedded systems, compilers, FPGAs, and asynchronous design. He has been an associate editor of ACM Transactions on Architecture and Code Optimization (TACO), since 2015, of ACM Computing Surveys (CSUR), since 2014, and of ACM Transactions on Design Automation of Electronic Systems (TODAES) from 2011 to 2016.
Martin OderskyEnseignement et PhD Doctorant·es actuel·les Matthieu Bovel, Yaoyu Zhao, Anna Herlihy, Nguyên Cao Pham, Yichen Xu A dirigé les thèses EPFL de Julie Vachon, Matthias Zenger, Michel Schinz, Philippe Altherr, Vincent Cremet, Burak Emir, Stéphane Micheloud, Iulian Dragos, Philipp Haller, Gilles Dubochet, Tiark Rompf, Ingo Maier, Lukas Rytz, Aleksandar Prokopec, Heather Miller, Vlad Ureche, Nada Amin, Manohar Jonnalagedda, Hubert Plociniczak, Vojin Jovanovic, Sandro Stucki, Eugene Burmako, Dmytro Petrashko, Séb
Vassily HatzimanikatisEnseignement et PhD Doctorant·es actuel·les Denis Alain Henri Lucien Joly, Luca Milazzo, David Liaskos, Konrad Lagoda, Omar Keshk, Yigit Sibal, Ioannis Tzegiannakis A dirigé les thèses EPFL de Keng Cher Soh, Julien Racle, Noushin Hadadi, Stefano Andreozzi, Stepan Tymoshenko, Meriç Ataman, Joana Raquel Pinto Vieira, Tiziano Dallavilla, Yves Berset, Anush Chiappino-Pepe, Milenko Tokic, Tuure Eelis Hameri, Jasmin Maria Hafner, Homa Mohammadi Peyhani, Daniel Robert Weilandt, Zhaleh Hosseini, Sofia Tsouka, Mar
Ernst HardyEnseignement et PhD Cours Non-destructive methods for industry and research MSE-668
Annapaola ParrilliEnseignement et PhD Cours Non-destructive methods for industry and research MSE-668
Afficher plus