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
Virginia CarnevaliExpertise
Theoretical condensed matter physics: theory and simulations of structural, electronic, magnetic and optical properties (Quantum ESPRESSO), ab-initio molecular dynamics (CP2K), and Kinetic Monte Carlo codes; automate Quantum ESPRESSO workflows and high-throughput calculations (AFLOWÏ€); generation of tight-binding hamiltonians, transport properties, and data analysis (PAOFLOW).Materials for photovoltaic: Pb- and Sn-based organic perovskites; investigation and improvement of the HTL-ETL interaction
Lenka ZdeborováLenka Zdeborová is a Professor of Physics and of Computer Science in École Polytechnique Fédérale de Lausanne where she leads the Statistical Physics of Computation Laboratory. She received a PhD in physics from University Paris-Sud and from Charles University in Prague in 2008. She spent two years in the Los Alamos National Laboratory as the Director's Postdoctoral Fellow. Between 2010 and 2020 she was a researcher at CNRS working in the Institute of Theoretical Physics in CEA Saclay, France. In 2014, she was awarded the CNRS bronze medal, in 2016 Philippe Meyer prize in theoretical physics and an ERC Starting Grant, in 2018 the Irène Joliot-Curie prize, in 2021 the Gibbs lectureship of AMS. She is an editorial board member for Journal of Physics A, Physical Review E, Physical Review X, SIMODS, Machine Learning: Science and Technology, and Information and Inference. Lenka's expertise is in applications of concepts from statistical physics, such as advanced mean field methods, replica method and related message-passing algorithms, to problems in machine learning, signal processing, inference and optimization. She enjoys erasing the boundaries between theoretical physics, mathematics and computer science.
Keivan Faghih NiresiExpertise
Computational sensing/imaging, Inverse problems, Signal processing, Graph neural networks, Domain adaptation.
Keivan is a PhD student at école Polytechnique Fédérale de Lausanne (EPFL). He joined the Intelligent Maintenance and Operations Systems (IMOS) Lab under the supervision of Prof. Olga Fink in February 2023.Prior to joining EPFL, he obtained his master's degree from the Institute of Communications Engineering, College of Electrical Engineering and Computer Science, National Tsing Hua Univer
Alessandro ChiesaAlessandro Chiesa is a faculty member in computer science. He conducts research in complexity theory, cryptography, and security, with a focus on the theoretical foundations and practical implementations of cryptographic proofs that are short and easy to verify. He is a co-author of several zkSNARK libraries, and is a co-inventor of the Zerocash protocol. He has co-founded Zcash and StarkWare Industries. He is a recipient of a Sloan Research Fellowship (2021), an Okawa Foundation Research Grant (2020), and Google Faculty Research Awards (2018 and 2017). He was included in MIT Technology Review's "35 Innovators Under 35" list in 2018.
Daryl Yee Wei LiangIncoming Assistant Professor of Electrical and Microengineering (March 2023)
Athanasios NenesTeaching & PhD PhD Students Berkay Dönmez, Ernest Abboud Past EPFL PhD Students Paraskevi Georgakaki, Lucile Ricard Courses Atmospheric processes: from cloud to global scales ENV-407 The main objective is to present important atmospheric processes from the local to global scales. The course will start with cloud processes, continue to synoptic phenomena like extratropical cyclones and fronts, to finally cover numerical modeling at the regional and global scales. Introduction to environme
Francisco Xavier Felix Martin Del CampoExpertise
Transdisciplinary researchSocio-metabolic researchMaterial flows and stocks analysisSustainabilityBuilt environmentInfrastructureClimate changeResource securityCircular economyWaste
Francisco has a Civil Engineering background specialized in Resources Management and has several years of professional experience in the construction and engineering sector. He received his Master's degree in Project Management for Environmental and Energy Engineering from IMT Atlantique, France, and his PhD in Sustain
Andrew James SontaExpertise
Human-building interaction, building energy, occupant behavior, sustainable design and planning, walkability, network analysis, machine learning, urban informatics, social systems.
Andrew Sonta is a tenure track assistant professor of sustainable civil engineering at EPFL. He directs the ETHOS Lab: Engineering and Technology for Human Oriented Sustainability. ETHOS is an interdisciplinary research group focused on using data-driven and computational tools to create interventions in the built envir
Stefana ParaschoTeaching & PhD PhD Students Jingwen Wang, Gabriel Vallat, Maxence Grangeot, Eleni Maria Skevaki, Wenqian Yang, Megi Sinani Courses Capitalizing on Uncertainty AR-809 SUMMER SCHOOL - Capitalizing on Uncertainty is a 6-day Summer school exploring uncertainty as a productive resource in design and fabrication through lectures, hands-on experiments, and the collaborative design and construction of a full-scale structure in a human-robot fabrication setting. Digital design and making: A criti
