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
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
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
Martin SchrimpfExpertise
NeuroAI, computational neuroscience, computer vision, natural language processing, human alignment, startups [CV]
Mission
Modeling the brain: Martin's research focuses on a computational understanding of the neural mechanisms underlying natural intelligence in vision and language. To achieve this goal, he bridges Deep Learning, Neuroscience, and Cognitive Science, building artificial neural network models that match the brain’s neural representations in their internal processing and are aligned to
Thomas Emile BourgeatTeaching & PhD PhD Students Neelu Shivprakash Kalani, Jiawei Lin, Alexandre Pinazza, Jiacheng Ma, Martina Camaioni, Guokai Chen, Mohammadarman Soleimani Courses Computer security and privacy COM-301 This is an introductory course to computer security and privacy. Its goal is to provide students with means to reason about security and privacy problems, and provide them with tools to confront them. Constructive Computer Architecture CS-629 Beginning with a basic pipeline proc
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
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
Karan PathakExpertise
System Architect 2023 - (Ex-IMEC)Performance estimation and Analysis. CPU Micro-architecture (BP, TLB Pref., Cache Pref., etc.) Full System Simulation (gem5, QEMU)BSP, BIOS, System FirmwaresProgramming Models for LLMs for CXL-CPU-GPU systems (HPC+AI)FPGA Prototyping (CHISEL to Bitstream), OS support, FS over Network, DMA in FPGAs
Current Work
CXLRAMSim v1.0 : Supporting CXL devices in Full System Simulator. CXLRAMSim v2.0: Extensions for CXL switch in FS SimulatorCXL-PNM: Exploring new programming
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
Cyrus Thibault LognonnéCyrus Lognonné-Khalatbari is an artist, designer and PhD candidate of the joint program between the Geneva Arts and Design University (HEAD & Genève, HES-SO) and the Swiss Federal Institute of Technology (EPFL). Inside his PhD, Cyrus bridges ethnographic fieldwork, Science and Technology Studies (STS) with arts and design methodologies in order to address, at the level of the Graphical Processing Unit (GPU), the ecological implications of computing power and the digital. Cyrus' research has been published b
Joelyn de LimaExpertise
Education ResearchPedagogical Professional DevelopmentInformal EducationAcademic communities
Joelyn de Lima is a scientist, educational developer, and researcher whose work bridges the natural sciences, higher education, and inclusive practice. Originally trained in the biological sciences, her early research focused on students’ conceptual and mechanistic understanding of evolution. She later transitioned into discipline-based education research and pedagogical development, bringing together scie
