Samuel ChassotI am a PhD candidate in LARA at EPFL, under the guidance of Prof. Viktor KunÄak. My research focuses on Formal Methods and Software Verification. One of my recent work was to formally verify a mutable hash table from the Scala standard library.Before starting my PhD, I obtained an MSc in Computer Science from EPFL, Switzerland. Education MSc Computer Science | 2016 – 2022 EPFL
Raphaël DefertTeaching & PhD Courses Risk analysis and management CIVIL-438 The course aims to train students in methods and tools allowing them to understand the issue of analysis and management of technological and natural risks in a well-founded and scientific manner, with attention paid to the field of Civil Engineering.
Martin Alois RohrmeierTeaching & PhD PhD Students Joris Monnet, Marina Borsodi-Benson, Xinyi Guan, Xiaoxuan Wang, Zeng Ren Past EPFL PhD Students Fabian Claude Moss, Daniel Harasim, Christoph Finkensiep, Johannes Hentschel, Gabriele Cecchetti, Shuxin Meng Courses Digital musicology DH-401 This course will introduce students to the central topics in digital musicology and core theoretical approaches and methods. In the practical part, students will carry out a practical project. Musical theory and creativity
Daniel SageExpertise
PublicationsPublications
Coordinates Biomedical Imaging GroupAddressEPFL STI-IMT-LIB, BM 4.135, Station 17, CH-1015 Lausanne, SwitzerlandTel.+41 21 693 51 89Fax.+41 21 693 68 10Emaildaniel.sage@epfl.chWeb pagehttp://bigwww.epfl.ch/sage/OfficeBM 4.135
Teaching & PhD Past EPFL PhD Students as codirector Daniel Andreas Schmitter, Anaïs Badoual, Laurène Donati Courses Bioimage informatics BIO-410 The course provides a comprehensive overview of methods, algorithms, and computer tools us Thomas Georges Pierre VidickTeaching & PhD PhD Students Itammar Steinberg, Aviv Taller Courses Formal Mathematics with Lean and AI CS-643 This graduate course provides an introduction to using Lean proof assistant to formalize mathematical definitions and theorems. We will have lectures on foundations (formal proofs, dependent type theory), learn about practice (proof tactics, use of AI, etc) and work on a formalization project. Introduction to quantum computation CS-308 The course introduces the para
Mirko KovacExpertise
Aerial RoboticsEnvironmental SensingSustainability RoboticsPhysical Artificial Intelligence
Short Biography Prof. Mirko Kovač is Director of the Laboratory of Sustainability Robotics, jointly appointed at the Swiss Federal Laboratories for Materials Science and Technology (Empa) in Zürich and the Swiss Federal Institute of Technology Lausanne (EPFL). He holds an Honorary Professorship at Imperial College London, where he previously served as Full Professor and founded the Aerial Robotics Laborator
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)from 2008 to 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 Ian SmithPhD, Cambridge University, 1982 Interests 1 Active shape control for structures for deployment and where serviceability criteria governs 2 Biomimetic structures (learning, self-diagnosis, self-repair) 3 Infrastructure management support through structural identification 4 Advanced computer-aided engineering applications of stochastic optimization and search, multi-criteria analysis, system uncertainties (measurement and modelling), multi-modal approaches (combining statistics with behavior models) More details : see https://www.epfl.ch/labs/imac/research/iansmith/ Denis GilletDenis Gillet received the Diploma in Electrical Engineering from the Swiss Federal Institute of Technology in Lausanne (EPFL) in 1988, and the Ph.D. degree in Information Systems also from the EPFL in 1995. During 1992 he was appointed as Research Fellow at the Information Systems Laboratory of Stanford University in the United States. He is currently Maître d'enseignement et de recherche at the EPFL School of Engineering, where he leads the React research group. His current research interests include Technologies Enhanced Learning (TEL), Human Computer Interaction (HCI), Human Devices Interaction (HDI) and Optimal Coordination of Complex and Distributed Systems. Denis Gillet is affiliated at EPFL with the Center for Intelligent Systems and the Center for Digital Education.
Sacha FriedliDiploma of Physics, Université de Lausanne, 1999
Phd, Institut de Physique Théorique, EPFL, 1999-2004
Post-doc, IMPA (Instituto Nacional de Matemática Pura e Aplicada), Rio de Janeiro, Brasil, 2004-2006
Adjunct professor, Departamento de Matemática (Universidade Federal de Minas Gerais), 2006-2016
Collaborateur Scientifique, Cours de Mathématiques Spéciales, EPFL, Lausanne, 2016-
Guillaume Alexandre C OlikierExpertise
Continuous optimization, numerical analysis
Guillaume Olikier is a postdoctoral researcher (Bernoulli Instructor) within the Institute of Mathematics at EPFL. He received an engineering degree in applied mathematics (2017) and a PhD in engineering sciences and technology (2023) from UCLouvain, Louvain-la-Neuve, Belgium. From 2023 to 2025, he was a postdoctoral researcher (Starting Research Position) at the Inria Centre at Université Côte d’Azur, Sophia Antipolis, France. His main research area is
Anna Neus Igual MuñozExpertise
Tribology, corrosion, tribocorrosion, surface analysis, electrochemistry
Anna Igual Munoz is senior scientist at EPFL since 2022. She has a master degree in Industrial engineering (specialised in chemical engineering) and a PhD in Electrochemical corrosion (2001) from UPV. She did a Postdoctoral research at the University of Virginia (USA) in 2002 in the field of electrochemical impedance spectroscopy and local electrochemical techniques. She was Professor at the Technical University of Valencia (
Mats Julius StensrudTeaching & PhD PhD Students Ignacio Gonzalez Perez, Gellért Géza Perényi, Lorenzo Gasparollo, Julien David Laurendeau Past EPFL PhD Students Matias Janvin, Amit Sawant Courses Causal thinking MATH-352 This course will give a unified presentation of modern methods for causal inference. We focus on concepts, and we will present examples and ideas from various scientific disciplines, including medicine, computer science, engineering, economics and epidemiology. Probability and statistics (
Eugen Brühwilerbirth date: 19.11.1958 nationality: Swiss (native from Dussnang, Canton of Thurgau) Education : - July 1988 : doctoral degree from the Swiss Federal Institute of Technology in Lausanne (EPFL), Switzerland with a thesis entitled Fracture mechanics of dam concrete subjected to quasi-static and seismic loading conditions - December 1983 : civil engineering diploma (university degree) from the Swiss Federal Institute of Technology (ETH) in Zurich, Switzerland Professional Experience : - Since 1st April 1995 : Professor of Structural Engineering at EPFL and Head of the Laboratory of Maintenance, Construction and Safety for Civil Structures (MCS) (often considered being the first chair worldwide devoted exclusively to existing civil structures). - 1991-94 Project Manager and structural engineer with the Swiss Federal Railways (SBB), Division of Bridges and Structures, Zurich: Monitoring and maintenance of bridges and structures, Project manager and checking engineer for the construction of new bridges and rehabilitation of existing bridges. - 1989/90 Research associate at the Department of Civil Engineering, University of Colorado, Boulder, USA : Fracture mechanics of concrete and fracture of concrete dams. - 1986-88 Doctoral student at EPFL-LMC (Building Materials, Prof. Wittmann) : Fracture mechanics of concrete, fracture of concrete dams under seismic loading - 1984/85 Research engineer at EPFL-ICOM (Steel Structures, Prof. Badoux and Prof. Hirt) : Fatigue behaviour and fracture mechanics of riveted bridges
Andrea CapozziExpertise
Nuclear Magnetic Resonance (NMR)Electron Spin Resonance (ESR)Dynamic Nuclear Polarization (DNP)Hyperpolarization TechniquesCryogenics
Open PhD positions
Open PhD position on the Physics of Xenon hyperpolarizationA PhD student position is available on the Physics of Xenon hyperpolarization: Spin Exchange Optical Pumping (SEOP) and Dynamic Nuclear Polarization (DNP)The project builds on a well-established and long-standing collaboration between the Laboratory for Functional and Metabolic Imaging at
Barbara JobstmannExpertise
Automatic synthesis and repair of reactive programsQuantitative analysis and synthesisFormal verification and modelling of systems (e.g., hardware designs, transactional memories, biological systems, business processes,...)
About me
I am a lecturer for the school of computer and communication sciences and I organise different outreach activities (for more details visit our IC Declic Summer School Webpage). In addition, I work for Cadence Design Systems.My research focused on the development of rel
Mario PaoloneMario Paolone received the M.Sc. (with honors) and the Ph.D. degree in electrical engineering from the University of Bologna, Italy, in 1998 and 2002, respectively. In 2005, he was appointed assistant professor in power systems at the University of Bologna where he was with the Power Systems laboratory until 2011. In 2010, he received the Associate Professor eligibility from the Politecnico di Milano, Italy. Since 2011 he joined the Swiss Federal Institute of Technology, Lausanne, Switzerland, where he is now Full Professor, Chair of the Distributed Electrical Systems laboratory and Head of the Swiss Competence Center for Energy Research (SCCER) FURIES (Future Swiss Electrical infrastructure). He was co-chairperson of the technical programme committees of the 9th edition of the International Conference of Power Systems Transients (IPST 2009) and of the 2016 Power Systems Computation Conference (PSCC 2016). He was chair of the technical programme committee of the 2018 Power Systems Computation Conference (PSCC 2018). In 2013, he was the recipient of the IEEE EMC Society Technical Achievement Award. He was co-author of several papers that received the following awards: best IEEE Transactions on EMC paper award for the year 2017, in 2014 best paper award at the 13th International Conference on Probabilistic Methods Applied to Power Systems, Durham, UK, in 2013 Basil Papadias best paper award at the 2013 IEEE PowerTech, Grenoble, France, in 2008 best paper award at the International Universities Power Engineering Conference (UPEC). He was the founder Editor-in-Chief of the Elsevier journal Sustainable Energy, Grids and Networks and was Associate Editor of the IEEE Transactions on Industrial Informatics. His research interests are in power systems with particular reference to real-time monitoring and operation, power system protections, power systems dynamics and power system transients. Mario Paolone is author or coauthor of over 300 scientific papers published in reviewed journals and international conferences.
Michaël UnserExpertise
Image Processing, Medical Imaging, Biological Imaging, Wavelets, Splines, Multiresolution
Michael Unser is Full Professor with EPFL’s school of Engineering and the academic director of EPFL's Center for Imaging, Lausanne, Switzerland. His primary areas of investigation are signal processing, biomedical imaging and applied functional analysis. He is internationally recognized for his research contributions to sampling theory, wavelets, the use of splines for image processing, stochastic processes,
Thomas Emile BourgeatTeaching & PhD PhD Students Neelu Shivprakash Kalani, Jiawei Lin, Alexandre Pinazza, Jiacheng Ma, Martina Camaioni, Guokai Chen, Mohammadarman Soleimani Courses Computer security and privacy COM-301 This is an introductory course to computer security and privacy. Its goal is to provide students with means to reason about security and privacy problems, and provide them with tools to confront them. Constructive Computer Architecture CS-629 Beginning with a basic pipeline proc
