Research in the IC School spans a broad range of topics in Computer Science and Communications, including digital education, computer architecture, systems and networking, programming languages and verification, databases, cryptography, security and privacy, signal and image processing, algorithmic and information theory, artificial intelligence, machine learning and data science.
IC Faculty
| Faculty | Lab | AIML | ATCS | CAIS | DMIR | DE | DC | HCI | ICT | NLP | OSNET | PLFM | S&P | SIP | VC | Keywords |
| Abbé, Emmanuel | Mathematical Data Science (IC/SB) | AIML | ATCS | ICT | probability, statistics, discrete mathematics, machine learning, information theory | |||||||||||
| Aberer, Karl | Distributed Information Systems (IC) | AIML | DMIR | NLP | data integration, World Wide Web, NLP application | |||||||||||
| Ailamaki, Anastasia | Data-Intensive Applications and Systems (IC) | DMIR | DC | OSNET | real-time data analytics, data management systems, distributed systems, software-hardware co-design, parallel computing, rack-scale computing, modern hardware & accelerators (CPU, GPU, DPU, FPGA, CXL memory, computational storage/NIC), transactional systems, database theory, data approximations, stream processing systems | |||||||||||
| Argyraki, Katerina | Network Architecture (IC) | OSNET | network architecture, network debugging, denial of service, programmable routers | |||||||||||||
| Bosselut, Antoine | Natural Language Processing (IC) | AIML | NLP | natural language processing, machine learning, knowledge representations, reasoning, alignment, LLMs, artificial intelligence | ||||||||||||
| Boulic, Ronan | Immersive Interaction (IC) | HCI | VC | experimental study of embodiment in VR, immersive interaction, human movement modelling, human posture optimization, real-time 3D interaction, motion capture, inverse kinematics, locomotion and steering control, expression of complex emotions | ||||||||||||
| Bourgeat, Thomas | TBC (IC) | CAIS | OSNET | PLFM | S&P | computer architecture, processors and accelerators, formal verification, FPGA, microarchitectural side-channels | ||||||||||
| Brbic, Maria | Machine learning for biomedicine (IC) | AIML | machine learning, deep learning, AI for science, computational biology | |||||||||||||
| Bugnion, Edouard | Data Center Systems (IC) | OSNET | computer systems, data center infrastructure and networking, operating systems, virtualization | |||||||||||||
| Bunne, Charlotte | Artificial Intelligence in Molecular Medicine (IC/SV) | AIML | VC | machine learning, deep learning, foundation models, personalized medicine, computational biology, control theory, optimal transport | ||||||||||||
| Candea, George | Dependable Systems (IC) | CAIS | OSNET | PLFM | system security, operating systems, distributed systems, embedded systems, software reliability, software verification and certification | |||||||||||
| Chiesa, Alessandro | Laboratory for Computation Security (IC) | ATCS | S&P | cryptography, computational complexity theory, privacy, security, zero-knowledge proofs, delegation of computation, succinct arguments, property testing, blockchain technology | ||||||||||||
| De Micheli, Giovanni | Integrated Systems (IC/STI) | CAIS | micro-electronics, VLSI, embedded systems, CAD, nanotechnology, lab on chip | |||||||||||||
| Dillenbourg, Pierre | Computer-Human Interaction in Learning and Instruction (IC) | DE | HCI | learning technologies, online education, MOOCs, human-computer interaction, collaborative learning (CSCL/CSCW), eye tracking, tangible interfaces, educational robotics | ||||||||||||
| Falsafi, Babak | Parallel Systems Architecture (IC) | CAIS | DMIR | DC | OSNET | computer architecture, technology-scalable datacenters, design for dark silicon, robust computer systems and performance evaluation, datacenter systems, AI systems | ||||||||||
| Faltings, Boi | Artificial Intelligence (IC) | AIML | NLP | artificial intelligence, constraint programming, multi-agent systems, electronic commerce, computational game theory | ||||||||||||
| Flammarion, Nicolas | Theory of Machine Learning (IC) | AIML | ATCS | machine learning, optimization, statistics, algorithms, learning theory | ||||||||||||
| Ford, Bryan | Decentralized and Distributed Systems (IC) | DC | OSNET | PLFM | S&P | decentralized systems, systems security, privacy, anonymity, democracy, blockchain | ||||||||||
| Fua, Pascal | Computer Vision (IC) | AIML | SIP | VC | computer vision, biomedical imaging, augmented reality | |||||||||||
| Gastpar, Michael | Information in Networked Systems (IC) | AIML | ATCS | ICT | SIP | information theory, signal processing, machine learning | ||||||||||
| Gerstner, Wulfram | Computational Neuroscience (IC/SV) | AIML | computational neuroscience, models of biological systems, learning, spiking neuron models, spike-timing dependent plasticity | |||||||||||||
| Göös, Mika | Theory of Computation (IC) | ATCS | computational complexity theory, communication complexity, circuit complexity, proof complexity | |||||||||||||
| Grossglauser, Matthias | Information and Network Dynamics (IC) | AIML | DMIR | ICT | machine learning, network science, stochastic models, discrete-choice theory | |||||||||||
| Guerraoui, Rachid | Distributed Computing (IC) | AIML | ATCS | DC | PLFM | distributed algorithms, secure distributed storage, transactional shared memory and distributed programming languages | ||||||||||
| Gulcehre, Caglar | TBC (IC) | AIML | NLP | VC | Deep learning, deep reinforcement learning, RL from human feedback, machine learning, robotics, sequential decision making, natural language processing, intelligent agents, alignment, foundation models, frontier models, responsible AI, robustness | |||||||||||
| Hassanieh, Haitham | SENS (IC) | AIML | ICT | OSNET | SIP | VC | wireless networks, sensing systems, communications, signal procession, computer vision, radar, virtual RAN, algorithms | |||||||||
| Ienne, Paolo | Processor Architecture (IC) | CAIS | computer and processor architecture, FPGAs and reconfigurable computing, electronic design automation, computer arithmetic | |||||||||||||
| Jaggi, Martin | Machine Learning and Optimization (IC) | AIML | ATCS | DC | NLP | machine learning, optimization, learning algorithms, systems for machine learning, text understanding | ||||||||||
| Jakob, Wenzel | Realistic Graphics (IC) | VC | image synthesis, material appearance modeling, computer graphics | |||||||||||||
| Kapralov, Michael | Theory of Computation (IC) | ATCS | algorithm design, sublinear algorithms, sketching, streaming, sparse recovery | |||||||||||||
| Käser, Tanja | Machine Learning for Education Laboratory (IC) | AIML | DE | HCI | digital education, educational data mining, student modeling, explainable AI, human-centered AI | |||||||||||
| Kashyap, Sanidhya | Robust Scalable Systems Software (IC) | CAIS | DMIR | OSNET | S&P | operating systems, virtualization, file systems, parallel computing, software testing, fuzzing, distributed systems, computer architecture, data analytics | ||||||||||
| Kermarrec, Anne-Marie | Scalable Computing Systems (IC) | AIML | DC | OSNET | S&P | large-scale distributed systems, epidemic algorithms, peer to peer networks and system support for machine learning | ||||||||||
| Koch, Christoph | Data Analysis Theory and Applications (IC) | ATCS | DMIR | PLFM | data analysis, data management, database systems, database theory, logic, computational complexity theory, programming language theory, computer algebra | |||||||||||
| Kuncak Viktor | Automated Reasoning and Analysis (IC) | PLFM | formal verification, automated reasoning, programming languages | |||||||||||||
| Lévêque, Olivier | Information Theory (IC) | ICT | information theory, random matrices, stochastic calculus | |||||||||||||
| Macris, Nicolas | Communication Theory (IC) | ICT | coding, graphical models, statistical mechanics methods | |||||||||||||
| Mondada, Francesco | Mobile Robotic Systems (STI/IC) | AIML | DE | HCI | Design of miniature mobile robots for: animal-robot interaction, cross-fertilization between robotics and art, edutainment | |||||||||||
| Odersky, Martin | Programming Methods (IC) | CAIS | PLFM | programming languages, programming methods, compiler construction, foundations of software, object-oriented programming, functional programming, Scala | ||||||||||||
| Pauly, Mark | Geometric Computing (IC) | VC | geometric computing, numerical optimization, computational design | |||||||||||||
| Payer, Mathias | HexHive (IC) | CAIS | OSNET | PLFM | S&P | software security, system security, sanitization, software testing, fuzzing mitigation, fault isolation, compartmentalization | ||||||||||
| Pit-Claudel, Clément | Systems and Formalisms (IC) | CAIS | HCI | OSNET | PLFM | S&P | domain-specific languages, compilers, formal verification, interactive theorem proving, automated reasoning, verified systems, hardware design languages, performance engineering, programming methodology and tools | |||||||||
| Pu Faltings, Pearl | Human Computer Interaction (IC) | AIML | HCI | NLP | neural conversational agents, natural language interface, human computer interaction | |||||||||||
| Salathé, Marcel | Digital Epidemiology (IC/SV) | AIML | digital epidemiology, network analysis, machine learning, big data analytics, complex systems modeling | |||||||||||||
| Salzmann, Mathieu | Computer Vision (IC) | AIML | VC | computer vision, deep learning, machine learning, AI for space applications. | ||||||||||||
| Schrimpf, Martin | NeuroAI (IC/SV) | AIML | NLP | VC | neuroAI, computational neuroscience, deep learning, machine learning, computer vision, natural language processing, artificial intelligence, natural intelligence, human behavior, human brain, primate vision, human language, brain-machine-interfaces, startups | |||||||||||
| Shkel, Yanina | Laboratory for Information in Networked Systems (IC) | AIML | ATCS | ICT | S&P | SIP | information theory, theory of data compression, mathematical models for privacy and secrecy, fundamental limits of privacy-aware information processing systems, information-theoretic methods in cryptography | |||||||||
| Süsstrunk, Sabine | Image and Visual Representation (IC) | AIML | HCI | SIP | VC | computational photography, computational imaging, image processing, computer vision, machine learning, computational image quality and aesthetics | ||||||||||
| Svensson, Ola | Theory of Computation (IC) | ATCS | approximation algorithms, combinatorial optimization, computational complexity and scheduling | |||||||||||||
| Telatar, Emre | Information Theory (IC) | ICT | information theory | |||||||||||||
| Thiran, Patrick | Information and Network Dynamics (IC) | AIML | ATCS | ICT | stochastic models, random networks, data-driven network science, wireless networks, network measurements, dynamical systems | |||||||||||
| Troncoso, Carmela | Security and Privacy Engineering (IC) | AIML | S&P | privacy-preserving systems, quantifying private information, improving privacy properties in decentralized systems, anonymous communications, privacy-preserving cryptography, limits of trustworthy machine learning | ||||||||||||
| Urbanke, Rüdiger | Communication Theory (IC) | ICT | coding, communications, information theory, graphical models, methods of statistical physics applied to problems in communications and computer science | |||||||||||||
| Vaudenay, Serge | Security and Cryptography (IC) | ATCS | ICT | S&P | cryptographic analysis, design of cryptographic algorithms and protocols, lightweight cryptography, secure communication, wireless security, composability and setup assumptions, methodology and theory for cryptography, number theory and cryptography, automated security verification | |||||||||||
| Vetterli, Martin | Audiovisual Communications (IC) | ICT | SIP | theory of wavelets and their applications, signal processing for telecommunications, communication systems and multimedia, sensor networks | ||||||||||||
| Vidick, Thomas | Quantum Complexity and Cryptography (IC) | ATCS | quantum complexity, quantum cryptography | |||||||||||||
| West, Robert | Data Science (IC) | AIML | NLP | natural language processing, artificial intelligence, computational social science, machine learning, data mining | ||||||||||||
| Zamir, Amir | Visual Intelligence and Learning (IC) | AIML | SIP | VC | computer vision, machine learning, perception-for-robotics, transfer/self-supervised/unsupervised learning, 3D vision, artificial intelligence | |||||||||||
| Zdeborova, Lenka | Statistical Physics of Computation (IC/SB) | AIML | ATCS | ICT | SIP | statistical physics, machine learning, deep learning theory, theory of foundation models, statistical inference, high-dimensional statistics, graphical models, combinatorial optimization, signal processing theory |
Courtesy Appointments & EDIC Affiliated Faculty outside IC
| Faculty | Lab | AIML | ATCS | CAIS | DC | DE | DMIR | HCI | ICT | NLP | PLFM | S&P | SIP | VC | Keywords |
| Alahi, Alexandre | Visual Intelligence for Transportation (ENAC) | AIML | SIP | VC | transportation & mobility, socially-aware artificial intelligence, computer vision, machine learning, deep learning, human-robot interaction, ambient intelligence | ||||||||||
| Boumal, Nicolas | Continuous Optimization (SB) | AIML | ATCS | optimization, geometry, statistics, numerical analysis | |||||||||||
| Carleo, Giuseppe | Computational Quantum Science (SB) | AIML | machine learning, many-body quantum physics, quantum computing, generative models, classical simulation of quantum algorithms | ||||||||||||
| Cevher, Volkan | Information and Inference Systems (STI) | AIML | ATCS | ICT | NLP | SIP | machine learning, optimization, learning theory, reinforcement learning, foundation models, inference systems | ||||||||
| Chizat, Lénaïc | Dynamics Of Learning Algorithms (SB) | AIML | ATCS | SIP | continuous optimization, deep learning theory, optimal transport | ||||||||||
| Eisenbrand, Friedrich | Discrete Optimization (SB) | ATCS | combinatorial optimization, computational geometry, complexity, approximation algorithms | ||||||||||||
| Fink, Olga | Intelligent Maintenance and Operations Systems (ENAC) | AIML | Domain adaptation and generalization, physics-informed machine learning, (physics-informed) graph neural networks, AI for engineering, Self-supervised learning | ||||||||||||
| Frossard, Pascal | Signal Processing (STI) | AIML | NLP | SIP | VC | graph signal processing, network machine learning, machine learning and data science, imaging, AI for Health, AI for Science, generative AI | |||||||||
| Hongler, Clément | Statistical Field (SB) | AIML | neural networks, learning theory, probability, mathematical physics, statistical mechanics | ||||||||||||
| Kamgarpour, Maryam | System Control and Multiagent Optimization Research (STI) | AIML | ATCS | stochastic optimization and control, multi-agent learning, reinforcement learning, online learning, mixed integer optimization | |||||||||||
| Kaplan, Frédéric | Digital Humanities (CDH) | AIML | VC | digital humanities, big data, models of language acquisition and evolution, innovative Interfaces, artificial intelligence, robotics, developmental systems, intrinsic motivation, multi-agent system, joint attention, gesture interaction | |||||||||||
| Kiyavash, Negar | Business Analytics (CDM) | AIML | ATCS | ICT | causality, statistics, machine learning, data science | ||||||||||
| Krzakala, Florent | Information Learning & Physics (SB/STI) | AIML | ATCS | ICT | probability, machine learning, information theory, high-dimensional statistics, graphical models, signal processing, statistical physics, neural networks | ||||||||||
| Mattavelli, Marco | Multimedia (STI) | VC | multimedia systems engineering, digital system analysis and modeling, design space exploration and implementation methodologies | ||||||||||||
| Mathis, Alexander | Computational Neuroscience & AI (SV) | AIML | SIP | VC | computational/theoretical neuroscience, models of biological systems, learning, computer vision, machine learning, artificial intelligence, behavior | ||||||||||
| Mathis, Mackenzie | Adaptive Motor Control (SV) | AIML | HCI | NLP | SIP | VC | representation learning, computer vision, computational neuroscience, pose estimation, animal behavior, machine learning, neural data analysis | ||||||||
| Paolone, Mario | Distributed Electrical Systems (STI) | power systems, smart grids, energy, storage systems, situational awareness, optimal planning and control | |||||||||||||
| Sayed, Ali | Adaptive Systems (STI) | AIML | ICT | SIP | adaptation and learning theories, multi-agent systems, distributed optimization, decision-making over graphs, social learning | ||||||||||
| Schwaller, Philippe | Artificial Chemical Intelligence (SB) | AIML | DMIR | HCI | NLP | chemistry, large language models, accelerated science/discovery | |||||||||
| Shoaran, Mahsa | Integrated Neurotechnologies (STI) | AIML | CAIS | SIP | neural interfaces, low-power integrated circuits, edge AI, neurotechnology, neural signal processing and machine learning, brain-machine interfaces | ||||||||||
| Stensrud, Mats | Biostatistics (SB) | AIML | Causality, Personalized Medicine, Epidemiology, Individualized Decision Making, and Experimental Design | ||||||||||||
| Tuia, Devis | Environmental Computational Science and Earth Observation (ENAC) | AIML | NLP | SIP | VC | – 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 | |||||||||
| Verscheure, Olivier | Swiss Data Science Center (SDSC) | AIML | large-scale data science, multimodal data fusion and integration, frugal machine learning, explainable AI and interpretability |