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, Peer-to-peer systems, World Wide Web, sensor data management | |||||||||||
| Ailamaki, Anastasia | Data-Intensive Applications and Systems (IC) | CAIS | DMIR | database management systems, scientific applications, computer architecture | ||||||||||||
| Argyraki, Katerina | Network Architecture (IC) | OSNET | network architecture, network debugging, denial of service, programmable routers | |||||||||||||
| Bosselut, Antoine | Natural Language Processing (IC) | AIML | DMIR | HCI | NLP | natural language processing, machine learning, knowledge representations, computational reasoning, commonsense modeling, artificial intelligence | ||||||||||
| Boulic, Ronan | Immersive Interaction (IC) | AIML | 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 | 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 | |||||||||||||
| Candea, George | Dependable Systems (IC) | OSNET | PLFM | S&P | 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 | DC | PLFM | computer architecture, technology-scalable datacenters, design for dark silicon, robust computer systems and performance evaluation | |||||||||||
| 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 | PLFM | S&P | secure decentralized systems, privacy and anonymous communication, systems security, blockchain technology | |||||||||||
| Fua, Pascal | Computer Vision (IC) | AIML | SIP | VC | computer vision, biomedical imaging, augmented reality | |||||||||||
| Gastpar, Michael | Information in Networked Systems (IC) | ICT | SIP | information theory, signal processing, communications, systems neuroscience | ||||||||||||
| 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 and data analytics, and applications to social networks, mobility mining, politics, privacy | |||||||||||
| Guerraoui, Rachid | Distributed Computing (IC) | AIML | ATCS | DC | PLFM | distributed algorithms, secure distributed storage, transactional shared memory and distributed programming languages | ||||||||||
| Hassanieh, Haitham | SENS (IC) | ICT | OSNET | SIP | VC | wireless networks, sensing systems, and 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) | SIP | 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 vocational education, educational data mining, student modeling, knowledge representation, simulations | |||||||||||
| Kashyap, Sanidhya | Robust Scalable Systems Software (IC) | CAIS | OSNET | operating systems, virtualization, file systems, parallel computing, software testing, fuzzing, distributed systems, computer architecture, data analytics | ||||||||||||
| Kermarrec, Anne-Marie | Scalable Computing Systems (IC) | AIML | DMIR | DC | 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 | |||||||||||||
| Larus, James | Very Large Scale Computing (IC) | CAIS | OSNET | PLFM | programming languages and tools, resilient software, cloud computing, large-scale computer systems, computer architecture | |||||||||||
| Le Boudec, Jean-Yves | Computer Communications and Applications (IC) | OSNET | performance evaluation with stochastic models and discrete event systems, wireless networking, optimization and modeling of energy savings | |||||||||||||
| 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) | DE | HCI | Design of miniature mobile robots for: swarm robotics research, 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) | AIML | HCI | VC | geometry processing, computer graphics, digital fabrication, optimization, computational design, architectural geometry | |||||||||||
| Payer, Mathias | HexHive (IC) | 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 | DMIR | HCI | NLP | user preference elicitation, preference-based search, e-commerce, social web, user review systems, recommender systems, human computer interaction, intelligent user interfaces, information visualization | ||||||||||
| Salathé, Marcel | Digital Epidemiology (IC/SV) | AIML | DMIR | 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 | HCI | NLP | VC | neuroAI, computational neuroscience, deep learning, machine learning, computer vision, natural language processing, artificial intelligence, natural intelligence, human behavior, primate vision, human language, brain-machine-interfaces | ||||||||||
| Shkel, Yanina | Laboratory for Information in Networked Systems (IC) | ATCS | ICT | S&P | 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) | DMIR | DC | S&P | privacy, computer security problems, building privacy-preserving systems, quantifying private information, improving privacy properties in decentralized systems, anonymous communications and attribute based credentials, genomic privacy | |||||||||||
| 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 | ||||||||||||
| West, Robert | Data Science (IC) | AIML | DMIR | HCI | NLP | social and information network analysis, machine learning, computational social science, data mining, natural language processing, human computation | ||||||||||
| 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, statistical inference, high-dimensional statistics, graphical models, signal processing theory |
Courtesy Appointments & non-IC EDIC Affiliated Faculty
| 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 | ATCS | HCI | 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 | SIP | machine learning, optimization, signal processing theory, information theory, statistics | |||||||||
| Eisenbrand, Friedrich | Discrete Optimization (SB) | ATCS | combinatorial optimization, computational geometry, complexity, approximation algorithms | ||||||||||||
| Filipovic, Damir | Quantitative Finance (CDM) | AIML | quantitative finance, applied probability, machine learning | ||||||||||||
| 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 | SIP | graph and network signal processing, image and video processing, image analysis and recognition, machine learning and data science, multimedia communications | |||||||||||
| Gillet, Denis | Interaction Systems (STI) | DE | DMIR | HCI | web-based interaction systems, human-computer interaction, human-device interaction, cyber physical systems, coordination systems, autonomous vehicles, connected vehicles | ||||||||||
| 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 | data science, machine learning, statistics | ||||||||||
| Krzakala, Florent | Information Learning & Physics (SB/STI) | AIML | ATCS | ICT | SIP | probability, machine learning, information theory, high-dimensional statistics, graphical models, signal processing, statistical physics | |||||||||
| Mattavelli, Marco | Multimedia (STI) | VC | multimedia systems engineering, digital system analysis and modeling, design space exploration and implementation methodologies | ||||||||||||
| Mathis, Alexandre | 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 | SIP | VC | representation learning, computer vision, computational neuroscience, pose estimation, animal behavior | ||||||||||
| 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, statistical inference, distributed optimization, network and data sciences, biologically-inspired designs | ||||||||||
| Schwaller, Philippe | Artificial Chemical Intelligence (SB) | AIML | HCI | NLP | accelerated chemical synthesis, molecular design, knowledge extraction, chemical language models, lab of the future, sustainable chemistry, hybrid expert/ML approaches | ||||||||||
| Shoaran, Mahsa | Integrated Neurotechnologies (STI) | AIML | CAIS | HCI | SIP | neural interfaces, low-power integrated circuits, edge machine learning, neurotechnology, neural signal processing and machine learning, brain-machine interfaces | |||||||||
| Tuia, Devis | Environmental Computational Science and Earth Observation (ENAC) | AIML | VC | – Earth observation : satellite remote sensing / drones image processing – Environmental science: nature conservation / land use change / Alpine environments – Computer vision, machine learning: segmentation / detection / hybrid models / interpretable AI / human machine interaction | |||||||||||
| Vandergheynst, Pierre | Signal Processing (STI) | AIML | SIP | VC | data science, machine learning, computational harmonic analysis, inverse problems, compressive sensing, computer vision |