Pasquale Davide SchiavoneEnseignement et PhD Cours Design technologies for integrated systems CS-472 La synthèse hardware est le processus de transformation - itérativement raffiné, détaillé et optimisé - d'une représentation faite en langage de description matérielle en un circuit. Ce cours présente les algorithmes, outils et méthodes de la compilation matérielle et de la synthèse logique.
Olga FinkEnseignement et PhD Doctorant·es actuel·les Han Sun, Leandro Von Krannichfeldt, Keivan Faghih Niresi, Zepeng Zhang, Vinay Sharma, Chenghao Xu, Raffael Pascal Theiler, Kevin Antonio Steiner, Sergei Garmaev, Amaury Wei A dirigé les thèses EPFL de Ismail Nejjar, Mengjie Zhao Cours Data Science for infrastructure condition monitoring CIVIL-332 Le cours couvrira les étapes pertinentes de la surveillance de l'état des infrastructures basée sur les données: l'acquisition des données, en passant p
Alireza MafiExpertise
Théorie de l'électromagnétismeAntennes et Micro-ondesCircuits Intégrés de RadiofréquenceRéseaux PhasésBioélectronique
Expertise
Théorie de l'électromagnétismeAntennes et Micro-ondesCircuits Intégrés de RadiofréquenceRéseaux PhasésBioélectronique
Je suis doctorant en Génie électrique à l'école Polytechnique Fédérale de Lausanne (EPFL). J'ai obtenu mon Master en Génie électrique (Communications Micro-ondes et Optiques) à l'Université de Technologie de Sharif, Téhéran, Iran, en 2022. J'ai également t
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 computationsCombinatorial scientific computingMathematical Software
Enseignement et PhD Doctorant·es actuel·les Israa Fakih, Zhipeng Xue, Andrea Di Antonio, Mariana Graciela Martinez Aguilar, Guifré Sánchez i Serra Cours Numerical analysis and computational mathematics MATH-456 Ce cours offre une introduction au calcul scienti
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
RechercheOther Tavakolidakhrabadi, A., Domange, T., Nalm, C., Rodino, F., Meimandi, A., Bessire, C., & Carrara, S. (2024). A Novel Microfluidic System for Capacitive Detection via Magnetophoretic Separation of Malaria-Infected Red Blood Cells. IEEE Sensors Letters. DOI: 10.1109/LSENS.2024.3451238Barbruni, G. L., Rodino, F., Ros, P. M., Demarchi, D., Ghezzi, D., & Carrara, S. (2024). A
Stefana ParaschoEnseignement et PhD Doctorant·es actuel·les Jingwen Wang, Gabriel Vallat, Maxence Grangeot, Eleni Maria Skevaki, Wenqian Yang, Megi Sinani Cours Capitalizing on Uncertainty AR-809 Digital design and making: A critical introduction AR-503 Le cours présente des méthodes de conception et de fabrication numériques en combinant des compétences techniques avec des connaissances théoriques et une réflexion critique. Les sujets incluent: la programmation pour la conception, la fabr
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ë HolmesEnseignement et PhD Doctorant·es actuel·les Ricard Puig, Sacha Lerch, Reyhaneh Aghaei Saem, Shao Hen Chiew, Weijie Xiong, Marc Sanz Drudis, Mehrad Sahebi, Manuel Rudolph Cours Quantum information theory PHYS-550 Après avoir revu les bases de la théorie quantique du point de vue de la théorie de l'information, nous couvrirons des sujets plus avancés en théorie de l'information quantique tels que les mesures de l'information quantique et la compréhension des états, canaux et mesures quantiqu
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 KamgarpourEnseignement et PhD Doctorant·es actuel·les Giulio Salizzoni, Tingting Ni, Saurabh Dilip Vaishampayan, Andreas Schlaginhaufen, Kai Ren, Anna Maria Maddux, Gabriel Vallat, Philip Jordan, Yasaman Zolfimoselo, Daniele De Cecco, Gregorio Valenti A co-dirigé les thèses EPFL de Baiwei Guo Cours Foundations of artificial intelligence ME-390 Ce cours fournit aux étudiants la théorie de base pour comprendre l'approche de l'apprentissage automatique (machine learning), et les outils pour utiliser l'
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 HassaniehEnseignement et PhD Doctorant·es actuel·les Eduard Vlad, Raphael Cannatà, Arman Maghsoudnia, Jiachen Lu, Samah Hussein Youssef, Hailan Zhang Shanbhag, Aoyu Gong Cours Intelligent systems: communications & AI COM-304 Le cours enseigne le développement de systèmes permettant de résoudre des défis réels en communication, traitement du signal, modèles fondamentaux et intelligence artificielle. Les étudiants travailleront en équipe, concrétiseront leurs idées et programmeront soit des prototype
