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.
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.
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
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
Mykhailo BatiukExpertise
Single cell and spatial genomics (wet/dry lab), glia, psychiatry, neuroscience
I obtained my PhD (2012-2018) in KU Leuven/VIB, Belgium where I investigated astrocyte heterogeneity using single cell transcriptomics. During this period I developed tools to acutely and specifically isolate astrocytes from adult brain and identified five astrocyte subtypes in the cortex and hippocampus of mouse brain expanding previous understanding of astrocyte variability.Following my PhD, I did my first post-doc in
Anne-Florence Raphaëlle BitbolI was trained in physics, and always had a strong interest in biology. I am broadly interested in understanding biological phenomena in a quantitative way, through physical concepts and mathematical and computational tools. I investigate the relative impacts of optimization and historical contingency in biological evolution, both at the scale of protein sequences and at the scale of microbial populations.Here is my research group website.Curriculum vitae Here is my complete CV. Professional experience:Since
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.
Enseignement et PhD Doctorant·es actuel·les Markus Johan Bredberg, Ashutosh Kumar Mishra A co-dirigé les thèses EPFL de Shreyam Parth Krishna Cours Physique générale : mécanique (classe inversée en anglais)
Andrew James SontaExpertise
Human-building interaction, building energy, occupant behavior, sustainable design and planning, walkability, network analysis, machine learning, urban informatics, social systems.
Andrew Sonta is a tenure track assistant professor of sustainable civil engineering at EPFL. He directs the ETHOS Lab: Engineering and Technology for Human Oriented Sustainability. ETHOS is an interdisciplinary research group focused on using data-driven and computational tools to create interventions in the built envir
Mathias Josef PayerMathias Payer is a security researcher and professor at the EPFL school of computer and communication sciences (IC), leading the HexHive group. His research focuses on protecting applications in the presence of vulnerabilities, with a focus on memory corruption and type violations. He is interested in software security, system security, binary exploitation, effective mitigations, fault isolation/privilege separation, strong sanitization, and software testing (fuzzing) using a combination of binary analysis and compiler-based techniques. More details are available in his CV.
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
