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
Christian SachseEnseignement et PhD Cours Philosophie de la biologie HUM-216 Identifier et comprendre les débats et problèmes centraux en philosophie de la biologie, notamment autour de l'évolution biologique et de l'émergence du vivant. Evaluer et comparer les arguments cruciaux dans ces débats. Synthétiser la discussion et donc formuler et défendre sa propre position. Philosophie des sciences HUM-238 Ce cours propose d'identifier et comprendre les débats et problèmes centraux en philosophi
Anouk NeuenschwanderEnseignement et PhD Cours Droit des affaires HUM-234 Ce cours cherche à donner, en matière économique, les outils juridiques aux fins d'analyser une situation de fait et de déterminer les règles légales applicables. Droit et technique I HUM-410 Ce cours présente le cadre légal applicable à certaines problématiques dans des domaines à caractère technique, tels que le droit de la construction, le droit de l'informatique, la biotechnologie, la protection des données, la digitali
Simon GuilloudExpertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems.
Expertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems.
Marius TibaEnseignement et PhD Cours Convex geometric analysis MATH-564 Dans ce cours, nous étudions la notion fondamentale de convexité à l'interface de l'analyse et de la géométrie, un domaine qui a connu des progrès remarquables ces dernières années.
Mahmut Selman SakarEnseignement et PhD Doctorant·es actuel·les Lorenzo Francesco John Noseda, Nikita Norkin, Elif Ezgi Inan, Houman Javaheri, Mehdi Ali Gadiri, Julian Leon Raub, Junsun Hwang A dirigé les thèses EPFL de Erik Mailand, Raquel Filipa Penacho Parreira, Murat Kaynak, Lucio Pancaldi-Giubbini, Fazil Emre Uslu, Matthias Rüegg, Ece Özelçi, Emilie Vuille-Dit-Bille A co-dirigé les thèses EPFL de Laura Joan Hermans, Sourabh Monnappa Kuppanda Jafri Cours Dynamical systems ME-221 Introduction à la modélisa
Julie Nathalie S GheysenEnseignement et PhD Cours Comportement mécanique des matériaux MSE-234 Ce cours est une introduction au comportement mécanique, à l'élaboration, à la structure et au cycle de vie des grandes classes de matériaux de structure (métaux, polymères, céramiques et composites) Matériaux MSE-171 Une introduction à la science des matériaux appliquée aux matériaux de construction courants, en particulier le béton et les métaux. Description de leur fabrication, leurs comportements mécan
Touradj EbrahimiTouradj EBRAHIMI received his M.Sc. and Ph.D., both in Electrical Engineering, from the Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland, in 1989 and 1992 respectively. In 1993, he was a research engineer at the Corporate Research Laboratories of Sony Corporation in Tokyo, where he conducted research on advanced video compression techniques for storage applications. In 1994, he served as a research consultant at AT&T Bell Laboratories working on very low bitrate video coding. He is currently Professor at EPFL heading its Multimedia Signal Processing Group. He is also the Convenor of JPEG standardization Committee. He was also adjunct Professor with the Center of Quantifiable Quality of Service at Norwegian University of Science and Technology (NTNU)between 2008 and 2012.
Prof. Ebrahimi has been the recipient of various distinctions and awards, such as the IEEE and Swiss national ASE award, the SNF-PROFILE grant for advanced researchers, Four ISO-Certificates for key contributions to MPEG-4 and JPEG 2000, and the best paper award of IEEE Trans. on Consumer Electronics . He became a Fellow of the international society for optical engineering (SPIE) in 2003. Prof. Ebrahimi has initiated more than two dozen National, European and International cooperation projects with leading companies and research institutes around the world. He is a co-founder of Genista SA, a high-tech start-up company in the field of multimedia quality metrics. In 2002, he founded Emitall SA, start-up active in the area of media security and surveillance. In 2005, he founded EMITALL Surveillance SA, a start-up active in the field of privacy and protection. He is or has been associate Editor with various IEEE, SPIE, and EURASIP journals, such as IEEE Signal Processing Magazine, IEEE Trans. on Image Processing, IEEE Trans. on Multimedia, EURASIP Image Communication Journal, EURASIP Journal of Applied Signal Processing, SPIE Optical Engineering Magazine. Prof. Ebrahimi is a member of Scientific Advisory Board of various start-up and established companies in the general field of Information Technology. He has served as Scientific Expert and Evaluator for Research Funding Agencies such as those of European Commission, The Greek Ministry of Development, The Austrian National Foundation for Scientific Research, The Portuguese Science Foundation, as well as a number of Venture Capital Companies active in the field of Information Technologies and Communication Systems. His research interests include still, moving, and 3D image processing and coding, visual information security (rights protection, watermarking, authentication, data integrity, steganography), new media, and human computer interfaces (smart vision, brain computer interface).
He is the author or the co-author of more than 200 research publications, and holds 14 patents. Prof. Ebrahimi is a member of IEEE, SPIE, ACM and IS&T.
See the URL below for more details:
http://mmspl.epfl.ch Anna LachowskaEnseignement et PhD Cours Algebra MATH-310 Le cours introduit les concepts de base de l'algèbre, notamment les groupes, les anneaux et les corps. Analyse I MATH-101(e) Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. Analyse II MATH-106(e) Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieursvariables. Representation theory I
Andreas PautzEnseignement et PhD Doctorant·es actuel·les Sofia Portolan, Michel Saliba, Bishal Torrente, Alexis Paul Boris Claude Dupont-Bembinoff, Cynthia Camila Güttlein A dirigé les thèses EPFL de Ting Zhu, Vladimir Vladimirov Brankov, Boris Aviv Hombourger, Damar Canggih Wicaksono, Petra Mala, Adolfo Rais, Valentyn Bykov, Daniel Jerôme Siefman, Evgeny Nikitin, Dionysios Chionis, Oskari Ville Pakari, Friederike Bostelmann, Jiani Gao, Efstathios Vlassopoulos, Alessandro Scolaro, Stefan Radman, Alexander Aures, Lubom
Fides ZenkEnseignement et PhD Doctorant·es actuel·les Hanrong Hu, Eugenio Stefano Gentile, Ece Naz Bilgiç, Nahuel Jonas Simonet, Yong-Qi Gao, Tekin Can Sobaci, Angel Lizandro Polanco Maldonado Cours Neuroscience foundations for engineers BIOENG-310 Ce cours de présentation fait le lien entre l'expertise informatique et les fondamentaux des neurosciences, dans le but de favoriser la communication et la collaboration interdisciplinaires pour les programmes de neurosciences basés sur l'ingénierie. Pr