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
Clément Pit-ClaudelTeaching & PhD PhD Students Yawen Guan, Kacper Feliks Korban, Can Cebeci, Alexandre Pinazza, Shardul Chiplunkar Courses Interactive Theorem Proving Project CS-642 A project-focused introduction to interactive theorem proving. Interactive theorem proving CS-428 A hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.Come learn how to write computer-checked proofs an
Xurong LiExpertise
Photonic integrated circuits, terahertz optoelectronics, terahertz imaging systems
Xurong Li received B.S. degree from Peking University in 2016. He obtained M.S. and Ph.D. degrees from University of California, Los Angeles (UCLA) in Prof. Mona Jarrahi's group in 2018 and 2022, respectively, working on terahertz optoelectronics and systems. He continued as a postdoc scholar in the same group from January 2023 to May 2024. Xurong joined the Laboratory of Photonics and Quantum Measurements (LPQM) in
Katharina MüllerEducation Master's degree in Molecular and Cellular Biology | 2023 – 2023 University Heidelberg Bachelor's degree | 2020 – 2020 University Heidelberg
Iegor VlasenkoIegor (Yegor) Vlasenko (he/him) is a researcher in urban studies and planning with a Master of Science degree in Urban Studies from Malmo University (2017). Since April 2023, he is a Doctoral Assistant and PhD student in Architecture and City Sciences at the Laboratory of Urbanism, EPFL, working on the dissertation entitled «Decentralisation as an Agent of Resilience? Comprehending Urbanisation and Wartime Planning in Ukraine». He is also serving as a Communications Assistant of the Doctoral Program in Arch
Jaïr Kees Evert Karel CampfensJair Kees Evert Karel Campfens is a doctoral assistant at the HERUS lab. He is an engineer by Eindhoven University of Technology (TU/e) and holds a MSC in Sustainable Energy Technology. Moreover, he holds a double degree MSc in Public Policy & Human Development from Maastricht University and the United Nations University. Education Public Policy & Human Development | Master of Science 2021 – 2022 Maastricht University UNU-MERIT Sustainable Energy Technology | Master of Science
Nino David Julian JordanExpertise
Environmental policy and governance, in particularly related to embodied environmental impacts.
Current Work
Nino is currently working on the "Sustainable and Resilient Energy for Switzerland" project.
Nino has been addressing environmental challenges since 2010, starting with the Wuppertal Institute for Climate, Environment and Energy and later working with the UCL Institute for Sustainable Resources.He earned degrees in political science and international relations from the University of Bremen.
Sangwoo KimSangwoo Kim is set to join EPFL as a Tenure Track Assistant Professor in September 2023. Prior to his appointment at EPFL, he served as a postdoctoral fellow in the Department of Mechanical Engineering at the University of California, Santa Barbara. He earned his graduate degree in Theoretical and Applied Mechanics from the University of Illinois at Urbana-Champaign, where his research delved into the relationships between statistics, geometry, and mechanical states in cellular matters. Currently, his research focus on fundamental understanding of biological and living systems, as well as the study of soft and active matter employing principles from mechanics and physics. His research interests encompass embryonic development, tissue morphogenesis, structure and mechanics of soft materials, inherent structure of amorphous materials, and non-equilibrium dynamics of active matter.
Pedro Correa FernandezPedro Correa Fernández is a Doctoral Candidate in Architecture at Columbia GSAPP. Before joining GSAPP, he was an adjunct professor at the Architecture School of Universidad Católica de Chile where he taught seminars and lectures on architecture history and related epistemological, aesthetic, and political issues. His current work examines the mediations between technical knowledge, artisanal crafts, and global industrial capitalism in early nineteenth-century Latin America.Pedro holds an architecture degre
Parmenion MavrikakisExpertise
Computational electromagnetics, integral equations, finite element analysis, metasurfaces, photonics, plasmonics and microwaves.
Current Work
Developing a C++ code for the modeling of light scattering in layered media with the surface integral equation method.
I am a PhD student in the Electrical Engineering Department (EDEE) at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the Nanophotonics and Metrology Laboratory (NAM), part of the Microengineering Department (IEM) at EPFL. M
Ricard Puig I VallsExpertise
I'm interested on Variational Quantum Algorithms, Quantum Simulation and Quantum Metrology and Sensing. Overall in general I love studying how we can exploit quantum resources to surpass the classical limits.
Expertise
I'm interested on Variational Quantum Algorithms, Quantum Simulation and Quantum Metrology and Sensing. Overall in general I love studying how we can exploit quantum resources to surpass the classical limits.
I obtained my BSc in Physics in 2022 from the Autonomous University of Bar
Andres Osorio SalazarExpertise
Robotics, advanced actuator design, soft actuators, sensor design, embedded systems, human-machine interface architecture, electronic-less control, mechanism design, additive and traditional manufacturing, industrial automation, process control, and fluid robotics.
Current Work
Smart Footwear for Diabetic Foot Care and Ulcer PreventionEvery 20 seconds, a person with diabetes has to face an amputation somewhere in the world. The main risk factor is high plantar pressure combined with foot nephropat
Anni Matilda KauniskangasCurrent Work
I am currently working as a doctoral researcher as a part of Prof. Shchutska's group in experimental particle physics. I am a member of the LHCb and SND@LHC collaborations. My PhD thesis work is mainly focused on performing a measurement of a rare B-meson decay process using the data from the LHCb experiment.
Education MSci Physics | 2018 – 2022 Imperial College London
ResearchCurrent Research Fields Experimental high-energy physics (flavour physics)
Teaching & PhDPast teachin
Gregor JotzuGregor Jotzu is heading the Dynamic Quantum Materials Laboratory (DQML) at EPFL. His research concerns the control of quantum materials using intense low-frequency laser pulses and the dynamics of order formation in strongly correlated quantum systems.After reading physics at the University of Oxford, he became the 2009/2010 Michael von Clemm Fellow at Harvard University. He received his doctorate from ETH Zurich, where he studied quantum magnetism and driving-induced order using ultracold atoms in optical
Chenghao XuEducation Bachelor of Engineering | Mechnical Engineering 2016 – 2020 Southern University of Science and Technology, China Master of Science | Robotics 2020 – 2023 Delft University of Technology, Netherlands
Simon Elias BibriExpertise
• Sustainable cities• Smarter eco-cities• Sustainable smart cities• Artificial Intelligence of Things (AIoT) • Generative Artificial Intelligence of Things (GAIoT)• Foundation Models (FMs) • Quantum Generative Artificial Intelligence (QGAI)• Urban Digital Twins (UDTs)• Urban Brain (UB) • Smart Circular Metabolism• Urban planning and design• Environmental sustainability and climate resilience• Sustainable smart energy• Sustainable smart transportation• Sustainable smart waste and water management•
Daryl Yee Wei LiangIncoming Assistant Professor of Electrical and Microengineering (March 2023)
Sayan BiswasExpertise
Decentralized Machine Learning and Federated Learning focusing on Privacy, Fairness, and Personalization; Secure and Trustworthy Distributed Systems; Differential Privacy; Location Privacy.
Sayan Biswas (CV) is a Postdoctoral Researcher in the Scalable Computing Systems (SaCS) lab at EPFL, Switzerland, led by Prof. Anne-Marie Kermarrec. He completed his PhD in Computer Science at INRIA and école Polytechnique in France, under the supervision of Prof. Catuscia Palamidessi. Prior to that, Sayan stud
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
Jack Richard GreenwoodExpertise
Superconducting magnets for fusion energy (LTS and HTS).Superconducting magnet technology prototyping and testing.High-field measurements on superconductors with currents up to 100 kA.Critical currents in superconducting materials: flux pinning, Josephson junctions, and percolation theory. Beyond (p,q) models.Superconductors under strain.
Current Work
I joined the Swiss Plasma Centre's Superconductivity Group (SPC-SG) in 2023. The group is part of EPFL and it is physically located at the Paul Sche
