Sanidhya KashyapSanidhya Kashyap is a systems researcher and an assistant professor at the EPFL School of Computer and Communication Sciences (IC). His research focuses on designing systems software that are performant and robust for heterogeneous hardware. He is broadly interested in the area of systems with a particular focus on operating systems, databases, concurrency, scheduling, networks, data analytics, and software testing (fuzzing).
Ayatallah Ahmed Gamal Kamal ElakhrasExpertise
Dataflow ArchitectureHigh-Level Synthesis
Ayatallah is a Ph.D. student in the Processor Architecture Laboratory, advised by Professor Paolo Ienne. Between October 2023 and March 2024, she did an internship at AMD in the Research and Advanced Development team, under the supervision of Dr. Kristof Denolf. She received a B.Sc. degree in Computer Engineering from the American University in Cairo, Egypt in 2020 and started her Ph.D. in the same year.Her research interests include dataflow architecture,
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.
Shashwat ShrivastavaI am a Ph.D. student at EPFL, advised by Dr. Mirjana Stojilović. I am broadly interested in FPGA architecture and Computer-Aided Design. My research is focused on reducing the compile time for FPGAs by incorporating architectural enhancements and rethinking CAD algorithms.
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
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
Emma Elizabeth TolleyI studied the universe at the smallest scales at the Large Hadron Collider, now we're getting ready to study it at the largest scales with the Square Kilometer Array. My research focuses on developing high-performance computing and new data science techniques to image and analyse the radio sky.
Teaching & PhD PhD Students Markus Johan Bredberg, Ashutosh Kumar Mishra Past EPFL PhD Students as codirector Shreyam Parth Krishna Courses General physics : mechanics (english flipped classroom) PHYS-101
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
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
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
Dimitrios SamakovlisExpertise
C/C++ programming, parallel programming, embedded software, neural networks
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
Mohammad Ali ShaeriExpertise
Neural Engineering, Neural Signal Processing, Neural Decoding, Neural Prosthesis, Brain Machine Interface
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
