Pasquale Davide SchiavoneTeaching & PhD Courses Design technologies for integrated systems CS-472 Hardware compilation is the process of transforming specialized hardware description languages into circuit descriptions, which are iteratively refined, detailed and optimized. The course presents algorithms, tools and methods for hardware compilation and logic synthesis.
Olga FinkTeaching & PhD PhD Students Han Sun, Leandro Von Krannichfeldt, Keivan Faghih Niresi, Zepeng Zhang, Vinay Sharma, Chenghao Xu, Raffael Pascal Theiler, Kevin Antonio Steiner, Sergei Garmaev, Amaury Wei Past EPFL PhD Students Ismail Nejjar, Mengjie Zhao Courses Data Science for infrastructure condition monitoring CIVIL-332 The course will cover the relevant steps of data-driven infrastructure condition monitoring, starting from data acquisition, going through the steps pre-processing of real
Alireza MafiExpertise
Electromagnetics TheoryAntennas & MicrowavesRadio Frequency Integrated CircuitsPhased ArraysBioelectronics
Expertise
Electromagnetics TheoryAntennas & MicrowavesRadio Frequency Integrated CircuitsPhased ArraysBioelectronics
I am a PhD student in Electrical Engineering at the école Polytechnique Fédérale de Lausanne (EPFL). I received my M.Sc. in Electrical Engineering (Microwave and Optical Communications) from the Sharif University of Technology, Tehran, Iran in 2022. I also worked at ETH Zurich
Ali MeimandiExpertise
Research interests:Analog and digital circuit designBiomedical circuits and systems
Ali Meimandi received B.Sc degree in electrical engineering from Amirkabir University of Technology(Tehran Polytechnic), Tehran, Iran, and M.Sc. degree in electronic engineering from Politecnico di Milano, Milan, Italy, in 2018 and 2022, respectively. He is a Research Assistant and doctoral candidate in the BioCMOS Interfaces(BCI) Laboratory at école Polytechnique Fédérale de Lausanne, Lausanne, Switzerland.His res
Laura GrigoriExpertise
Numerical linear algebra, deterministic and randomized algorithmsHigh performance computing for scientific applicationsHigh dimensional problems and tensor computationsApplications in astrophysics, molecular simulations, etcCombinatorial scientific computingMathematical Software
Teaching & PhD PhD Students Israa Fakih, Zhipeng Xue, Andrea Di Antonio, Mariana Graciela Martinez Aguilar, Guifré Sánchez i Serra Courses Numerical analysis and computational mathematics MATH-456 The cou
Geovani RizkExpertise
Distributed Machine Learning, Robustness, Safety, Optimization, Multi-Agent, Bandits in Graphs
I am a postdoctoral researcher at école Polytechnique Fédérale de Lausanne since 2022, where I work with Rachid Guerraoui on robustness of distributed machine learning algorithms. From 2018 to 2022, I completed my Ph.D. in computer science at Université Paris Dauphine-PSL on multi-agent bandits in graphs under the supervision of Yann Chevaleyre, Rida Laraki, Igor Colin, and Albert Thomas.Pre-prints Over
Francesca RodinoExpertise
Electrochemical BiosensorsSensors and Biosensors interfaces | front-end electronicsBiomedical circuits and systems
Francesca Rodino received the B.Sc. and M.Sc. degrees in Biomedical Engineering from the Politecnico di Torino, Turin, Italy, in 2019 and 2022, respectively. She developed her Master's project in the field of cortical neuroprosthesis devices for artificial vision in collaboration with the Integrated Circuits Laboratory (ICLAB) at école Polytechnique Fédérale de Lausanne (EPFL) in Swit
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
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•
Zoë HolmesTeaching & PhD PhD Students Ricard Puig, Sacha Lerch, Reyhaneh Aghaei Saem, Shao Hen Chiew, Weijie Xiong, Marc Sanz Drudis, Mehrad Sahebi, Manuel Rudolph Courses Quantum information theory PHYS-550 After recapping the basics of quantum theory from an informationtheoretic perspective, we will cover more advanced topics inquantum information theory. This includes introducing measures of quantum information, and developing a more advanced understanding quantum states, channels and measurement
Gopal Narmada NaiduExpertise
Researcher with 8+ years of experience in computational physics and multiphysics modeling, focused on numerical simulation of light–matter interactions and photon propagation. Proficient in FEM, FDTD, and Monte Carlo methods to model energy conversion and optical behavior, with additional expertise in AI/ML techniques for model optimization and design exploration. Strong background in photonic devices, photo-thermal, thermo-optical effects, and nanostructure engineering. Adept at translating compl
Maryam KamgarpourMaryam Kamgarpour holds a Doctor of Philosophy in Engineering from the University of California, Berkeley and a Bachelor of Applied Science from University of Waterloo, Canada. Her research is on safe decision-making and control under uncertainty, game theory and mechanism design, mixed integer and stochastic optimization and control. Her theoretical research is motivated by control challenges arising in intelligent transportation networks, robotics, power grid systems and healthcare. She is the recipient of NASA High Potential Individual Award, NASA Excellence in Publication Award, and the European Union (ERC) Starting Grant.
Lazar MilikicExpertise
LLMs (Large Language Models), NLP (Natural Language Processing), Automated Reasoning
Mission
My work focuses on developing robust methods for autoformalization and automated theorem proving using large language models. I aim to enhance the reasoning reliability of modern AI systems by reducing hallucinations, improving predictability, and integrating formal verification techniques and tools into LLM-based pipelines.
Before joining EDIC, I completed a Bachelor’s in Mathematics and Computer Science
Haitham Al HassaniehTeaching & PhD PhD Students Eduard Vlad, Raphael Cannatà, Arman Maghsoudnia, Jiachen Lu, Samah Hussein Youssef, Hailan Zhang Shanbhag, Aoyu Gong Courses Intelligent systems: communications & AI COM-304 The course teaches the development of systems that solve real-world challenges in communications, signal processing, foundation models, and AI. Students will work in teams, construct their ideas, and either program available hardware prototypes or build their hardware or software system.
