Projects by laboratory ‒ IC ‐ EPFL

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	CHILI	Computer-Human Interaction for Learning & Instruction	Dillenbourg, Pierre	DE, HCI	R/VR, tangibles, eye tracking, collaborative learning, vocational education, classroom orchestration, learning technologies, learning analytics, human-computer interaction
IC	CLAIRE	AI Research	Gulcehre, Caglar	AIML, NLP, VC	machine learning, deep dearning, reinforcement learning, cognitive science, artificial intelligence
IC	COMPSEC	Computation Security	Chiesa, Alessandro	ATCS, SP	probabilistic proofs, zero knowledge proofs, succinct arguments
IC	CVLAB	Computer Vision	Fua, Pascal	AIML, SIP, VC	computer vision, image understanding, machine learning, deep learning
IC	CVLAB	Computer Vision	Salzmann, Matthieu	AIML, VC	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	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, PLFM, SP	decentralized systems, digital personhood, e-voting and digital democracy, blockchains and cryptocurrencies
CDH/IC (courtesy)	DHLAB	Digital Humanities	Kaplan, Frédéric; Ehrmann Maud	AIML, VC	procedural systems, morphological recognition, 4D models, cultural acceptance of technology
IC	DIAS	Data-Intensive Applications and Systems	Ailamaki, Anastasia	CAIS, DMIR	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
SB/IC (courtesy)	DISOPT	Discrete Optimization	Eisenbrand, Friedrich	ATCS	combinatorial optimization, computational geometry, complexity, approximation algorithms
IC	DLAB	Data Science	West, Robert	AIML, DMIR, HCI, NLP	neuro-symbolic NLP, online behavior, digital trace analysis, social network analysis, Wikipedia, Web and social media analysis
IC	DSLAB	Dependable Systems	Candea, George	OSNET, PLFM, SP	reliability and security in large-scale systems, predictable system performance, scalability
IC	GCM	Geometric Computing	Pauly, Mark	AIML, HCI, VC	geometric computing, digital fabrication, computational design, architectural geometry
IC	HCI	Human-Computer Interaction	Pu, Pearl	AIML, DMIR, HCI, NLP	recommender systems, neural generation of empathetic dialogs, trust and explanation interfaces, fairness in two-sided recommender systems
IC	HEXHIVE	HexHive	Payer, Mathias	PLFM, SP	system security, software security, mitigations, sanitization, automated testing, compartmentalization
IC	IIG	Immersive Interactions	Boulic, Ronan	AIML, HCI, VC	virtual reality, immersive and embodied interaction, computer animation, virtual humans, motion capture and retargeting, cybersickness
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, ICT	network science, stochastic models, data analytics, machine learning
IC	IVRL	Images and Visual Representation	Süsstrunk, Sabine	AIML, HCI, SIP, VC	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	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	LCAV	Audiovisual Communications	Prandoni, Paolo	ICT, SIP	audio and video processing, algorithmic development, communication systems design
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	LIA	Artificial Intelligence	Faltings, Boi	AIML, NLP	multi-agent systems, distributed AI, privacy-preserving AI, computational game theory
IC	LIA	Artificial Intelligence	Rajman, Martin	AIML, NLP	artificial intelligence, computational linguistics and data-driven probabilistic machine learning
IC	LINX	Information in Networked Systems	Gastpar, Michael	ICT, SIP	information theory, signal processing, machine learning, statistics, theoretical and statistical neuroscience
IC/STI (joint)	LSI	Integrated Systems	De Micheli, Giovanni	CAIS	design algorithms and tools for integrated circuits and systems, digital design with emerging technologies, electronic devices and sensors
IC	LSIR	Distributed Information Systems	Aberer, Karl	AIML, DMIR, NLP	semantic interoperability, information retrieval, social networks, trust management
IC	LTHC	Communication Theory	Urbanke, Rüdiger	ICT	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, NLP, SIP, VC	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	ATCS, ICT	theoretical aspects of data science, statistics, privacy, cryptography, {information, learning, coding}-theory
IC	ML4ED	Machine Learning for Education	Käser, Tanja	AIML, DE, 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, HCI	interdisciplinary research, pedagogy, educational robotics, biological modeling using robotics, education to CS, social impact of digitalisation
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, DMIR, HCI, NLP	natural language understanding, commonsense knowledge representation and reasoning, neuro-symbolic AI, natural language generation
IC	PARSA	Parrallel Systems Architecture	Falsafi, Babak	CAIS, DC, PLFM	post-Moore servers, sustainability in datacenters, machine learning systems, cloud computing
IC	PARSA	Parrallel Systems Architecture	Stojilovic, Mirjana	CAIS, SP	field-programmable technology, electronic design automation (EDA), electrical-level attacks and countermeasures for reconfigurable hardware
IC	RGL	Realistic Graphics	Jakob, Wenzel	PLFM, SIP, VC	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, DMIR, DC	system support for federated and decentralized learning, gossip-based distributed computing, peer to peer computing, scalable design, failure resilience, performance and privacy-preservation
IC/SB (joint)	Salathe Lab	Digital Epidemiology	Salathé, Marcel	AIML, DMIR	digital health, epidemiology, digital cohorts
IC	SENS	Sensing and Networking Systems	Al-Hassanieh, Haitham	ICT, OSNET, VC	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	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	DMIR, DC, SP	privacy engineering, societal impact of machine learning, decentralization
IC	SYSTEMF	Systems and Formalisms	Pit-Claudel, Clément	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	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/SV (joint)	UPSCHRIMPF2	NeuroAI	Schrimpf, Martin	AIML, NLP, VC	neuroAI, computational neuroscience, computer vision, natural language processing, human alignment, startups
IC	VCA	Verification and Computer Architecture	Bourgeat, Thomas	CAIS, PLFM, SP	processor design, programming languages, computer architecture and formal hardware verification
IC	VILAB	Visual Intelligence and Learning	Zamir, Amir	AIML, SIP, VC	embodied vision, vision-for-robotics, multi-task learning, self/unsupervised learning, visual robustness and adaptation
IC/SV (joint)	TBC	Bunne Lab starts Sept. 2024	Bunne, Charlotte	AIML, VC	machine learning, deep learning, foundation models, personalized medicine, computational biology, control theory, optimal transport
IC	TBC	Vidick Lab starts Aug. 2024	Vidick, Thomas		quantum complexity, cryptography, quantum interactive proof systems, quantum mechanics, theoretical computer science
IC	SIN-GE	Computer Science Section	Chappelier, Jean-Cédric		natural language processing, information theory, programming
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

IC Domains: Artificial Intelligence & Machine Learning – AIML // Algorithms & Theoretical Computer Science – ATCS // Computer Architecture & Integrated Systems – CAIS // Data Management & Information Retrieval – DMIR // Digital Education – DE // Distributed Computing – DC // Human-Computer Interaction – HCI // Information & Communication Theory – ICT // – Natural Language Processing – NLP //Operating Systems and Networks – OSNET // Programming Languages & Formal Methods – PLFM // Security & Privacy – SP // Signal & Image Processing – SIP // Visual Computing – VC

School	URL	Lab	Supervisor	Research Interests
CDH	LHST	Digital and Cognitive Musicology	Rohrmeier, Martin	digital musicology, music cognition, music theory, implicit learning, music & language
CDH	DCML	History of Science and Technology	Baudry, Jérôme	developing and experimenting with new tools and methods – especially digital and computational – for historical research
CDM	BAN	Business Analytics	Kiyavash, Negar	causality, statistics, machine learning, data 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	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	LIDIAP	L’IDIAP Laboratory	Cavallaro, Andrea	machine learning, artificial intelligence, computer vision, audio processing, robot perception, privacy
STI	LIDIAP	L’IDIAP Laboratory	Gatica-Perez, Daniel	social computing, ubiquitous computing, social media, crowdsourcing, multimedia
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	LMAM	Movement Analysis and Measurement	Aminian, Kamiar	monitoring and analyzing human motion in real-world conditions, development of wearable systems and algorithms based on body-worn sensors
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	REACT	Interaction Systems	Gillet, Denis	web-based interaction systems, human-computer interaction, human-device interaction, cyber physical systems, explainable AI
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	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	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