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
Show more
