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
Cezar ZotaEnseignement et PhD Doctorant·es actuel·les Soujanya Madasu A co-dirigé les thèses EPFL de Alberto Ferraris Cours Nanoscale MOSFETs and beyond CMOS devices MICRO-611
Lénaïc ChizatEnseignement et PhD Doctorant·es actuel·les Javier Esteban Maass Martinez A dirigé les thèses EPFL de Guillaume Yitian Wang Cours Computational optimal transport MATH-528 Aspects computationnels de la théorie du transport de mesures, du problème classique du transport optimal classique au modèles de diffusion modernes. Topics in machine learning MATH-520 Analyse mathématique des techniques modernes d'apprentissage supervisé, avec une emphase sur les réseaux de neurones arti
Giancarlo Ferrari TrecateExpertise
Automatic control, Dependable control, Neural-network Control, Machine learning, Microgrids, Hybrid systems
Mission
See the webpage of the DECODE (Dependable Control and Decision) group.
Teaching & PhD PhD Students Laura Meroi, Julien Pallage, Nicolas Léo Pierre Kirsch, Simone Baratto, Daniele Martinelli, Riccardo Cescon, Jakob Nylöf, Sabri El Amrani Past EPFL PhD Students Pulkit Nahata, Mustafa Sahin Turan, Baiwei Guo, Jean-Sébastien Brouillon, Clara Galimberti, Andrea Martin, Muhammad Zakwan,
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
Alexandre Sébastien Julien WillommetEnseignement et PhD Cours Fundamentals of VLSI design EE-429 Le cours présente les principes fondamentaux des circuits intégrés numériques et les aspects technologiques du point de vue des concepteurs. Il se concentre principalement sur le niveau des transistors, mais discute également de l'extension aux grandes conceptions numériques semi-personnalisées. Lab in advanced VLSI design EE-490(b) Ces labs couvrent les techniques avancées de conception de circuit integrés. Méthode
Marina Zapater SanchoEnseignement et PhD Doctorant·es actuel·les Karan Pathak, Qunyou Liu A co-dirigé les thèses EPFL de Joshua Alexander Harrison Klein
Mathias SoekenEnseignement et PhD A co-dirigé les thèses EPFL de Winston Jason Haaswijk, Eleonora Testa, Giulia Meuli, Bruno Schmitt Antunes Cours Fault-tolerant quantum computing CS-630
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
