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
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,
Ayberk OzkirliExpertise
Magnetic resonance imaging (MRI), visual crowding, serial dependence, population receptive field (pRF) mapping, data analysis, machine learning, age-related macular degeneration, neuroengineering, clinical neuroscience
Expertise
Magnetic resonance imaging (MRI), visual crowding, serial dependence, population receptive field (pRF) mapping, data analysis, machine learning, age-related macular degeneration, neuroengineering, clinical neuroscience
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
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
