for Computer Science, Data Science, Communication Systems
- Labs in the School of Computer & Communication Sciences
- Labs in other Schools at EPFL accredited by the sections
- IC and associate research centers
| School | URL | Lab | Supervisor | IC Domain | Research Interests |
|---|---|---|---|---|---|
| IC/SV (joint) | AIMM | Artificial Intelligence in Molecular Medicine | Bunne, Charlotte | AIML, CV | machine learning, deep learning, foundation models, personalized medicine, computational biology, control theory, optimal transport |
| IC | CoALA | Co-Augmentation, Co-Learning, and Collaborative AI | Holstein, Ken (starts Aug 2026) | AIML, DE, DH, HCI | human-centered AI, augmented intelligence, education, future of work, democracy, participatory AI, responsible AI, human-AI collaboration, social computing, collective intelligence |
| IC | COMPSEC | Computation Security | Chiesa, Alessandro | ATCS, SP | probabilistic proofs, zero knowledge proofs, succinct arguments |
| IC | CVLAB | Computer Vision | Fua, Pascal | AIML, CV, SIP | computer vision, image understanding, machine learning, deep learning |
| IC | CVLAB | Computer Vision | Salzmann, Matthieu | AIML, CV | computer vision, domain adaptation, efficient and robust deep learning, deep learning for visual scene understanding |
| IC | DATA | Data Analysis Theory and Applications | Koch, Christoph | ATCS, DMIR, PLFM | foundations of query languages, analytical databases, incremental view maintenance and online query processing, databases and compilation |
| IC | DCL | Distributed Computing | Guerraoui, Rachid | ATCS, AIML, DC, PLFM | algorithms, security and privacy, operating systems and networks, artificial intelligence |
| IC | DCML | Digital and Cognitive Musicology | Rohrmeier, Martin | DH | digital musicology, music cognition, music theory, implicit learning, music & language |
| IC | DCSL | Data Center Systems | Bugnion, Edouard | OSNET | datacenter efficiency, microsecond-scale computing, trust in the cloud, computer systems, datacenter operating systems and networking, virtualization |
| IC | DEDIS | Decentralized and Distributed Systems | Ford, Bryan | DC, OSNET, PLFM, SP | decentralized systems, digital democracy, blockchains and cryptocurrencies, programming languages, logic and paradox |
| IC | DHLAB | Digital Humanities | Kaplan, Frédéric; Ehrmann, Maud | AIML, CV, DH | procedural systems, morphological recognition, 4D models, cultural acceptance of technology |
| IC | DIAS | Data-Intensive Applications and Systems | Ailamaki, Anastasia | DMIR, DC, OSNET | serverless data analytics and real-time query processing, database system design on modern hardware platforms and storage systems, elastic computational infrastructures for data-intensive scientific applications |
| IC | EMPLUS | Experimental Museology (eM+) | Kenderdine, Sarah | AIML, CG, CV, DH | computational museology, computational cultural heritage, immersive and interactive visualization systems, virtual and mixed realities, 2D and 3D imaging, sonic architectures, scientific visualization, evaluation and HCI, digital aesthetics, critical theory for digital cultural heritage, new museology and curatorship |
| SB/IC (courtesy) | DISOPT | Discrete Optimization | Eisenbrand, Friedrich | ATCS | combinatorial optimization, computational geometry, complexity, approximation algorithms |
| IC | DLAB | Data Science | West, Robert | AIML, DH, NLP | neuro-symbolic NLP, online behavior, digital trace analysis, social network analysis, Wikipedia, Web and social media analysis |
| IC | DSLAB | Dependable Systems | Candea, George | CAIS, OSNET, PLFM | reliability and security in large-scale systems, predictable system performance, scalability |
| IC | GCM | Geometric Computing | Pauly, Mark | CG, DH | geometric computing, digital fabrication, computational design, architectural geometry |
| IC | HEXHIVE | HexHive | Payer, Mathias | CAIS, OSNET, PLFM, SP | system security, software security, mitigations, sanitization, automated testing, compartmentalization |
| IC | INDY1 | Information and Network Dynamics 1 | Grossglauser, Matthias | AIML, DMIR, ICT | network science, discrete choice theory and applications, recommender systems, data mining |
| IC | INDY2 | Information and Network Dynamics 2 | Thiran, Patrick | ATCS, AIML, DH, ICT | network science, stochastic models, data analytics, machine learning |
| IC | IVRL | Images and Visual Representation | Süsstrunk, Sabine | AIML, CV, HCI, SIP | computational photography, computational imaging, inverse problems in imaging, color image processing and computer vision, computational image quality and aesthetics |
| IC | LAMP1 | Programming Methods 1 | Odersky, Martin | CAIS, PLFM | system security, software security, mitigations, sanitization, automated testing, compartmentalization |
| IC | LAP | Processor Architecture | Ienne, Paolo | CAIS | computer and processor architecture, FPGAs and reconfigurable computing, electronic design automation, computer arithmetic |
| IC | LAP | Processor Architecture | Kluter, Ties | CAIS | C-based RTL designing, system level designing, FPGA designing, reconfigurable computing, micro controller, micro processor architectures |
| IC | LARA | Automated Reasoning and Analysis | Kuncak, Viktor | PLFM, NLP | program verification and synthesis, automated theorem proving |
| IC | LASEC | Security and Cryptography | Vaudenay, Serge | ATCS, ICT, SP | cryptography, cryptographic constructions, security models, cryptanalysis, biometry, privacy vs transparency, fairness |
| IC | LASER | Networked Systems Abstractions | Foster, Nate | DMIR, OSNET, PLFM, SP | programming language design, compilers, formal semantics, domain-specific languages, network verification |
| IC/SV (joint) | LCN | Computational Neuroscience | Gerstner, Wulfram; Brea, Johanni | AIML | computational neuroscience, theoretical neuroscience, learning in biology and its relation to the machine learning, Hebbian learning, two-factor rules, three-factor rules, reinforcement learning, unsupervised representation learning, analysis of large-scale recurrent networks, dynamics in neural networks, spiking neurons |
| IC/ENAC (joint) | LDM | Media and Design | Huang, Jeffrey | HCI | urban digital twins, smart environments, VR/AR, artificial design, experience design, design theory |
| IC | LIDIAP | L’IDIAP Laboratory | Gatica-Perez, Daniel | DH | social computing, ubiquitous computing, social media, crowdsourcing, multimedia |
| IC | LIGHT | Intelligent Global Health & Humanitarian Response Technologies | Hartley, Mary-Anne | AIML | digital global health, implementable AI4Health, machine learning, distributed learning |
| IC | LINX | Information in Networked Systems | Gastpar, Michael | AIML, ATCS, ICT, SIP | information theory, signal processing, machine learning, statistics, theoretical and statistical neuroscience |
| IC | LTHC | Communication Theory | Urbanke, Rüdiger | ICT, TQIC | coding theory, information theory, theory of ML, quantum communication and quantum computation |
| IC | LTHI | Information Theory | Lévêque, Olivier | ICT | primarily teaching (introduction to computer science to non-CS students, from secondary school to first year at EPFL); teachers’ education |
| IC | LTHI | Information Theory | Telatar, Emre | ICT | reliable communication, efficient communication, information theoretic privacy, age of information |
| STI/IC (courtesy) | LTS4 | Signal Processing 4 | Frossard, Pascal | AIML, CV, DH, NLP, SIP | graph signal processing, network machine learning, machine learning and data science, imaging, AI for Health, AI for Science, generative AI |
| IC/SB (joint) | MDS2 | Mathematical Data Science | Abbé, Emmanuel | ATCS, AIML, ICT | foundations of artificial intelligence, reasoning in machine learning, information compression, random structures and algorithms |
| IC | MIL | Mathematics of Information | Shkel, Yanina | AIML, ATCS, ICT, SP, SIP | theoretical aspects of data science, statistics, privacy, cryptography, {information, learning, coding}-theory |
| IC | ML4ED | Machine Learning for Education | Käser, Tanja | AIML, DE, DH, HCI | generalizability, fairness, explainability, modeling of higher-order skills |
| IC/SV (joint) | MLBIO | Machine Learning for Biomedical Discovery | Brbic, Maria | AIML | computational biology, unsupervised and semi-supervised learning, transfer learning, meta-learning, graph representation learning, explainable AI, single-cell genomics |
| IC | MLO | Machine Learning and Optimization | Jaggi, Martin | ATCS, AIML, DC, NLP | distributed training, collaborative learning, efficiency, robustness and privacy when training ML and deep learning models |
| IC/STI (joint) | MOBOTS | Mobile Robotic Systems | Mondada, Francesco | DE, DH, HCI | interdisciplinary research, pedagogy, educational robotics, biological modeling using robotics, education to CS, social impact of digitalization |
| IC | NAL | Network Architecture | Argyraki, Katerina | OSNET | network transparency and neutrality, network inference, network function verification, performance verification |
| IC | NLP | Natural Language Processing | Bosselut, Antoine | AIML, NLP | natural language understanding, commonsense knowledge representation and reasoning, neuro-symbolic AI, natural language generation |
| IC | PARSA | Parallel Systems Architecture | Falsafi, Babak | CAIS, DMIR, DC, OSNET | post-Moore servers, sustainability in datacenters, machine learning systems, cloud computing |
| IC | PARSA | Parallel Systems Architecture | Stojilovic, Mirjana | CAIS, SP | field-programmable technology, electronic design automation (EDA), electrical-level attacks and countermeasures for reconfigurable hardware |
| IC | QCC | Quantum Complexity and Cryptography | Vidick, Thomas | ATCS, TQIC | quantum complexity, cryptography, quantum interactive proof systems, quantum mechanics, theoretical computer science |
| IC | RGL | Realistic Graphics | Jakob, Wenzel | CG | inverse graphics, appearance modeling, graphics systems and compilers, physically based rendering |
| IC | RS3LAB | Robust Scalable Systems Software | Kashyap, Sanidhya | CAIS, OSNET | parallelism, concurrency, storage, verification, and software security |
| IC | SaCS | Scalable Computing Systems | Kermarrec, Anne-Marie | AIML, DC, OSNET, SP | system support for federated and decentralized learning, gossip-based distributed computing, peer to peer computing, scalable design, failure resilience, performance and privacy-preservation |
| IC/SV (joint) | Salathe Lab | Digital Epidemiology | Salathé, Marcel | AIML | digital health, epidemiology, digital cohorts |
| IC | SCI-IC-MR | Artificial Intelligence | Rajman, Martin | AIML | artificial intelligence, computational linguistics and data-driven probabilistic machine learning |
| IC | SENS | Sensing and Networking Systems | Al-Hassanieh, Haitham | AIML, CV, ICT, OSNET, SIP | G and 6G cellular networks, millimeter wave, internet of things, wireless sensing, autonomous driving, biomolecular communication, spare Fourier Transform |
| IC | SMILS | Statistical Mechanics of Inference in Large Systems | Macris, Nicolas | ICT, TQIC | statistical physics, high-dimensional inference, learning theory, coding theory, quantum information |
| IC/SB (joint) | SPOC2 | Statistical Physics of Computation | Zdeborová, Lenka | ATCS, AIML, ICT, SIP | applications of methods of statistical physics, such as advanced mean field methods, replica method and message passing algorithms, to problems in machine learning, signal processing, inference and optimization |
| IC | SPRING | Security and Privacy Engineering | Gonzalez Troncoso, Carmela | AIML, SP | privacy engineering, societal impact of machine learning, decentralization |
| IC | SYSTEMF | Systems and Formalisms | Pit-Claudel, Clément | CAIS, HCI, OSNET, PLFM, SP | programming languages, compilers, formal verification, systems engineering, hardware design languages, security, performance engineering, databases, and type theory |
| IC | THL2 | Theory of Computation 2 | Svensson, Ola | ATCS | algorithms, clustering, combinatorial optimization, com-plexity theory, data-driven decision processes, graph theory |
| IC | THL4 | Theory of Computation 4 | Kapralov, Michael | AIML, ATCS | theoretical foundations of big data analysis (sublinear algorithms) |
| IC | THL5 | Theory of Computation 5 | Göös, Mika | ATCS | lower bounds for concrete models of computation: circuits, communication protocols, decision trees, propositional proofs |
| IC | TML | Theory of Machine Learning | Flammarion, Nicolas | ATCS, AIML | theory of deep learning, optimization, robust machine learning, meta-learning, self-supervised machine learning |
| IC/SB | UPQUEK1 | Prof. Quek Group | Quek, Yihui | ATCS, TQIC | quantum algorithms, quantum learning theory, combinatorics, theoretical computer science, mathematics of data |
| IC/SV (joint) | UPSCHRIMPF2 | NeuroAI | Schrimpf, Martin | AIML, CV | neuroAI, computational neuroscience, computer vision, natural language processing, human alignment, startups |
| IC | VCA | Verification and Computer Architecture | Bourgeat, Thomas | CAIS, OSNET, PLFM, SP | processor design, programming languages, computer architecture and formal hardware verification |
| IC | VILAB | Visual Intelligence and Learning | Zamir, Amir | AIML, ATCS, ICT, SIP | embodied vision, vision-for-robotics, multi-task learning, self/unsupervised learning, visual robustness and adaptation |
| IC | SCI-IC-RA | Arnon, Rotem (March 2026) | TQIC | quantum information theory, quantum cryptography, entanglement and non-locality | |
| IC | Wei, Miranda (starts Nov 2026) | AIML, DE, HCI, SP | human-centered security and privacy, sociotechnical systems, online abuse, social media, AI ethics | ||
| IC | Fassl, Mathias (starts Nov 2026) | HCI, SP | human-computer interaction, social cybersecurity, surveillance, safety, technology policy | ||
| IC | SIN-GE | Computer Science Section | Chappelier, Jean-Cédric | AIML | natural language processing, information theory, programming |
| IC | SIN-GE | Computer Science Section | Doeraene, Sébastien | language design, compilers, virtual machines, pedagogy in computer science | |
| IC | SIN-GE | Computer Science Section | Pereira Pires, Rafael | distributed systems, privacy & security, embedded systems, robotics | |
| IC | SIN-GE | Computer Science Section | Prandoni, Paolo | ICT, SIP | audio and video processing, algorithmic development, communication systems design |
| IC | SIN-GE | Computer Science Section | Regev, Gil | requirements engineering, business modeling, enterprise architecture, knowledge management, creativity in organizations, systems thinking | |
| IC | SIN-GE | Computer Science Section | Sam, Jamila | ||
| IC | SIN-GE | Computer Science Section | Schinz, Michel |
| School | URL | Lab | Supervisor | Research Interests |
|---|---|---|---|---|
| CDM | BAN | Business Analytics | Kiyavash, Negar | causality, statistics, machine learning, data science |
| CDM | MTEI-GE | AI & Digital Education | Dunbar, Andrea | AI for education, enterprise AI, retrieval-augmented generation, fine-tuning, local LLMs |
| CDM | ENTC | Entrepreneurship and Technology Commercialization | Gruber, Marc, Bavato, Davide | entrepreneurship, technology commercialization, innovation management, science of science, computational social science |
| ENAC | DISAL | Distributed Intelligent Systems and Algorithms | Martinoli, Alcherio | autonomous robotics, distributed robotics, swarm robotics, distributed intelligent systems, sensor and actuator networks; intelligent vehicles, swarm intelligence, distributed control and estimation, mechatronic design, localization and navigation |
| ENAC | ECEO | Environmental Computational Science and Earth Observation | Tuia, Devis | Earth observation: satellite remote sensing / drones image processing. Environmental science: nature conservation / land use change / climate. Computer vision, machine learning: segmentation / detection / hybrid models / interpretable AI / human machine interaction |
| ENAC | ESO | Environmental Sensing Observatory | Skaloud, Jan | satellite positioning, inertial and integrated navigation, sensor orientation and calibration, attitude determination Mobile mapping, airborne laser scanning, sdjustment methods, kalman filtering |
| ENAC | IMOS | Intelligent Maintenance and Operations Systems | Fink, Olga | domain adaptation and generalization, physics-informed machine learning, (physics-informed) graph neural networks, AI for engineering, self-supervised learning |
| ENAC | LHST | History of Science and Technology | Baudry, Jérôme | developing and experimenting with new tools and methods – especially digital and computational – for historical research |
| ENAC | LMD | Data-Driven Mechanics | Karapiperis, Konstantinos | mechanics, multiscale modeling, data science, machine learning |
| ENAC | TMU | Time Machine | Di Lenardo, Isabella | art history, digital art history, digital urban history, digital humanities, network analysis |
| ENAC | TRANSP-OR | Transportation and Mobility Laboratory | Bierlaire, Michel | transport and mobility, discrete choice, optimization |
| ENAC | VITA | Visual lntelligence for Transportation | Alahi, Alexandre | transportation & mobility, socially-aware artificial intelligence, computer vision, machine learning, deep learning, human-robot interaction, ambient intelligence |
| SB | CSFT | Statistical Field Theory | Hongler, Clément | neural networks, learning theory, probability, mathematical physics, statistical mechanics |
| SB | DOLA | Dynamics of Learning Algorithms | Chizat, Lénaïc | continuous optimization, deep learning theory, optimal transport |
| SB | LIAC | Artificial Chemical Intelligence | Schwaller, Philippe | chemistry, large language models, accelerated science/discovery |
| STI | BIOROB | Biorobotics | Ijspeert, Auke | locomotion, robotics, computational neuroscience, machine learning, nonlinear dynamical systems |
| STI | ESL | Embedded Systems | Atienza, David | embedded systems, thermal management, HW/SW codesign, edge AI, Internet of Things, low-power hardware and software co-design |
| STI | INL | Integrated Neurotechnologies | Shoaran, Mahsa | neural interfaces, low-power integrated circuits, edge AI, neurotechnology, neural signal processing and machine learning, brain-machine interfaces |
| STI | LBEN | Nanoscale Biology | Radenovic, Aleksandra | bioengineering, single-molecule, biophysics, nanofluidics, single molecule biophysics |
| STI | LIB | Biomedical Imaging | Unser, Michaël | image processing, medical imaging, biological imaging, wavelets, splines, multiresolution |
| STI | MINTS | Multimodal Intelligent Systems | Cavallaro, Andrea | machine learning, artificial intelligence, computer vision, audio processing, robot perception, privacy |
| STI | LIDIAP | L’IDIAP Laboratory | Odobez, Jean-Marc | human activity, multi-modal data, detection, tracking, pose, non-verbal behaviors, temporal interpretation, algorithms, computer vision, machine learning, deep learning |
| STI | LIONS | Information and Inference Systems | Cevher, Volkan | machine learning, optimization, learning theory, reinforcement learning, foundation models, inference systems |
| STI | LIS | Intelligent Systems | Floreano, Dario | aerial robots, evolutionary robots, soft robots, wearable robots, bio-inspired robots, bio-inspired artificial intelligence |
| STI | LPDI | Protein Design and Immunoengineering | Correia, Bruno | protein engineering, computational design, immunoengineering, synthetic biology |
| STI | LTS2 | Signal Processing 2 | Vandergheynst, Pierre | data science, machine learning, computational harmonic analysis, inverse problems, compressive sensing, computer vision |
| STI | LTS5 | Signal Processing 5 | Thiran, Jean-Philippe | image analysis, computer vision, multimodal signal/image processing, pattern recognition, medical imaging |
| STI | MIPLAB | Medical Image Processing | Van De Ville, Dimitri | image processing, neurosciences, medical imaging, brain function, graph signal processing |
| STI | MMSPG | Multimedia Signal Processing | Ebrahimi, Touradj | still, moving, and 3D image processing and coding, visual information security (rights protection, watermarking, authentication, data integrity, steganography), new media, and human computer interfaces (smart vision, brain computer interface) |
| STI | SYCAMORE | Systems Control and Multiagent Optimization | Kamgarpour, Maryam | stochastic optimization and control, multi-agent learning, reinforcement learning, online learning, mixed integer optimization |
| STI | TCL | Telecommunications Circuits | Burg, Andreas | VLSI design, wireless communication, signal processing systems, embedded systems |
| SV | LBM | Biomolecular Modelling | Dal Peraro, Matteo | machine learning models for biomolecular modeling and design, protein and RNA design, antimicrobial resistance, nanopore sensing, structural biology |
| SV | LSENS | Sensory Processing | Petersen, Carl | neuroscience, neuronal coding, reward-based learning, sensory processing, decision making, motor control, recurrent spiking neural networks |
| SV | UPLAMANNO | Brain Development and Biological Data Science | La Manno, Gioele | developmental biology, bioinformatics, neuroscience, statistical modeling, technology development |
| SV | UPAMATHIS | Computational Neuroscience & AI | Mathis, Alexander | computational/theoretical neuroscience, models of biological systems, learning, computer vision, machine learning, artificial intelligence, behavior |
| SV | UPBARTH | Protein and Cell Engineering | Barth, Patrick | protein structure, protein design, protein folding, computational biophysics, membrane proteins |
| SV | UPMWMATHIS | Adaptive Motor Control | Mathis, Mackenzie | representation learning, computer vision, computational neuroscience, pose estimation, animal behavior, machine learning, neural data analysis |
| SV | UPNAE | Computational and Systems Biology | Naef, Felix | systems biology, circadian rhythms, quantitative biology, transcription, gene regulation |
| SV | RAMDYA LAB | Neuroengineering | Ramdya, Pavan | neuroscience, behavior, robotics, evolution |
| School | URL | Center | Supervisor | Research Interests |
|---|---|---|---|---|
| IC | SCALA | Scala Center | Odersky, Martin | scala developers, productivity, tooling, compiler engineering, platform maintenance, community support |
| ENT-R | CEDE | Center for Digital Education | Jermann, Patrick | interaction analysis, research methods, statistical methods, prototyping, software development, pedagogical design |
| ENT-R | IMAGING-GE | Center for Imaging | Andò, Edward | computational imaging, image analysis, computer vision, deep learning, optics |
| ENT-R | CIBM-AIT | Animal Imaging and Technology | Van De Ville, Dimitri | biomedical imaging for the advancement of science, health, medicine and technology |
| ENT-R | SDSC-GE | Swiss Data Science Center | Bouillet, Eric | big data systems, data stream processing applications, optical network design, capacity planning, optimization research |
| ENT-R | SDSC-GE | Swiss Data Science Center | Obozinski, Guillaume | statistics, machine learning, sparse modeling, optimization, large-scale learning, graphical models, relational learning, semantic embeddings, computational biology, computer vision |
| ENT-R | SDSC-GE | Swiss Data Science Center | Verscheure, Olivier | large-scale data science, multimodal data fusion and integration, frugal machine learning, explainable AI and interpretability |