EDIC Affiliated labs & Research expertise

Research in the IC School spans a broad range of topics in Computer Science and Communications, including digital education, computer architecture, systems & networking, programming languages and verification, databases, cryptograph, security & privacy, signal and image processing, algorithmic and information theory, artificial intelligence, machine learning, and data science.

IC Faculty

FacultyLabAIMLATCSCAISDMIRDEHCIICTPLFMS&P SIPS&NVCKeywords
Abbé, EmmanuelMathematical Data Science (IC/SB)AIMLATCSICTprobability, statistics, discrete mathematics, machine learning, information theory
Aberer, KarlDistributed Information Systems (IC)AIMLDMIRdata integration, Peer-to-peer systems, World Wide Web, sensor data management
Ailamaki, AnastasiaData-Intensive Applications and Systems (IC)CAISDMIRS&Ndatabase management systems, scientific applications, computer architecture
Argyraki, KaterinaNetwork Architecture (IC)S&Nnetwork architecture, network debugging, denial of service, programmable routers
Bosselut, Antoine(IC)AIMLDMIRHCInatural language processing, machine learning, knowledge representations, computational reasoning, commonsense modeling, artificial intelligence
Boulic, RonanImmersive Interaction (IC)AIMLHCIVCexperimental 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
Bugnion, EdouardData Center Systems (IC)S&Ncomputer systems, data center infrastructure and networking, operating systems, virtualization
Candea, GeorgeDependable Systems (IC)PLFMS&PS&Nsystem security, operating systems, distributed systems, embedded systems, software reliability, software verification and certification
De Micheli, GiovanniIntegrated Systems (IC/STI)CAISmicro-electronics, VLSI, embedded systems, CAD, nanotechnology, lab on chip
Dillenbourg, PierreComputer-Human Interaction in Learning and Instruction (IC)DEHCIlearning technologies, online education, MOOCs, human-computer interaction, collaborative learning (CSCL/CSCW), eye tracking, tangible interfaces, educational robotics
Falsafi, BabakParallel Systems Architecture (IC)CAISPLFMS&Ncomputer architecture, technology-scalable datacenters, design for dark silicon, robust computer systems and performance evaluation
Faltings, BoiArtificial Intelligence (IC)AIMLartificial intelligence, constraint programming, multi-agent systems, electronic commerce, computational game theory
Flammarion, NicolasTheory of Machine Learning (IC)AIMLATCSmachine learning, optimization, statistics, algorithms, learning theory
Ford, BryanDecentralized and Distributed Systems (IC)PLFMS&PS&Nsecure decentralized systems, privacy and anonymous communication, systems security, blockchain technology
Fua, PascalComputer Vision (IC)AIMLSIPVCcomputer vision, biomedical imaging, augmented reality
Gastpar, MichaelInformation in Networked Systems (IC)ICTSIPinformation theory, signal processing, communications, systems neuroscience
Gerstner, WulframComputational Neuroscience (IC/SV)AIMLcomputational neuroscience, models of biological systems, learning, spiking neuron models, spike-timing dependent plasticity
Göös, MikaTheory of Computation (IC)ATCScomputational complexity theory, communication complexity, circuit complexity, proof complexity
Grossglauser, MatthiasInformation and Network Dynamics (IC)AIMLDMIRICTmachine learning and data analytics, and applications to social networks, mobility mining, politics, privacy
Guerraoui, RachidDistributed Computing (IC)AIMLATCSPLFMS&Ndistributed algorithms, secure distributed storage, transactional shared memory and distributed programming languages
Hubaux, Jean-PierreData Security (IC)S&PS&Nprivacy protection, information security, mobile networking, data protection in personalized health, non-cooperative behavior
Ienne, PaoloProcessor Architecture (IC)CAIScomputer and processor architecture, FPGAs and reconfigurable computing, electronic design automation, computer arithmetic
Jaggi, MartinMachine Learning and Optimization (IC)AIMLATCSmachine learning, optimization, learning algorithms, systems for machine learning, text understanding
Jakob, WenzelRealistic Graphics (IC)SIPVCimage synthesis, material appearance modeling, computer graphics
Kapralov, MichaelTheory of Computation (IC)ATCSalgorithm design, sublinear algorithms, sketching, streaming, sparse recovery
Käser, TanjaDigital Vocation, Education and Training (IC)AIMLDEHCIdigital vocational education, educational data mining, student modeling, knowledge representation, simulations
Kashyap, Sanidhya(IC)CAISS&Noperating systems, virtualization, file systems, parallel computing, software testing, fuzzing, distributed systems, computer architecture, data analytics
Kermarrec, Anne-MarieScalable Computing Systems (IC)AIMLDMIRS&Nlarge-scale distributed systems, epidemic algorithms, peer to peer networks and system support for machine learning
Koch, ChristophData Analysis Theory and Applications (IC)ATCSDMIRPLFMS&Ndata analysis, data management, database systems, database theory, logic, computational complexity theory, programming language theory, computer algebra
Kuncak ViktorAutomated Reasoning and Analysis (IC)PLFMformal verification, automated reasoning, programming languages
Larus, JamesVery Large Scale Computing (IC)CAISPLFMS&Nprogramming languages and tools, resilient software, cloud computing, large-scale computer systems, computer architecture
Le Boudec, Jean-YvesComputer Communications and Applications (IC)S&Nperformance evaluation with stochastic models and discrete event systems, wireless networking, optimization and modeling of energy savings
Lenstra, ArjenCryptologic Algorithms (IC)S&Palgorithmic number theory, integer factorization, number field sieve, efficient arithmetic, lattice reduction, hash functions, information security
Lévêque, OlivierInformation Theory (IC)ICTinformation theory, random matrices, stochastic calculus
Macris, NicolasCommunication Theory (IC)ICTcoding, graphical models, statistical mechanics methods
Odersky, MartinProgramming Methods (IC)CAISPLFMS&Nprogramming languages, programming methods, compiler construction, foundations of software, object-oriented programming, functional programming, Scala
Pauly, MarkGeometric Computing (IC)AIMLHCIVCgeometry processing, computer graphics, digital fabrication, optimization, computational design, architectural geometry
Payer, MathiasHexHive (IC)PLFMS&PS&Nsystem security, memory safety, type safety, binary exploitation, user-space software-based fault isolation, binary translation, virtualization
Pu Faltings, PearlHuman Computer Interaction (IC)AIMLDMIRHCIuser preference elicitation, preference-based search, e-commerce, social web, user review systems, recommender systems, human computer interaction, intelligent user interfaces, information visualization
Rimoldi, BixioMobile Communications (IC)ICTS&Ncommunication theory and applications, wireless and biological systems
Salathé, MarcelDigital Epidemiology (IC/SV)DMIRS&Ndigital epidemiology, network analysis, machine learning, big data analytics, complex systems modeling
Süssrunk, SabineImage and Visual Representation (IC)AIMLHCISIPVCcomputational photography, computational imaging, image processing, computer vision, machine learning, computational image quality and aesthetics
Svensson, OlaTheory of Computation (IC)ATCSapproximation algorithms, combinatorial optimization, computational complexity and scheduling
Telatar, EmreInformation Theory (IC)ICTinformation theory
Thiran, PatrickInformation and Network Dynamics (IC)AIMLATCSICTS&Nstochastic models, random networks, data-driven network science, wireless networks, network measurements, dynamical systems
Troncoso, CarmelaSecurity and Privacy Engineering (IC)DMIRS&Pprivacy, 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üdigerCommunication Theory (IC)ICTcoding, communications, information theory, graphical models, methods of statistical physics applied to problems in communications and computer science
Vaudenay, SergeSecurity and Cryptography (IC)ATCSICTS&Pcryptographic 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, MartinAudiovisual Communications (IC)ICTSIPtheory of wavelets and their applications, signal processing for telecommunications, communication
systems and multimedia, sensor networks
Wegmann, AlainSystemic Modeling (IC)S&Nstrategic thinking, marketing, enterprise architecture, requirements engineering, service-oriented architecture
West, RobertData Science (IC)AIMLDMIRHCIsocial and information network analysis, machine learning, computational social science, data mining, natural language processing, human computation
Zamir, AmirVisual Intelligence and Learning (IC)AIMLSIPVCcomputer vision, machine learning, perception-for-robotics, transfer/self-supervised/unsupervised learning, 3D vision, artificial intelligence
Zdeborova, LenkaStatistical Physics of Computation (IC/SB)AIMLATCSICTSIPstatistical physics, machine learning, deep learning theory, statistical inference, high-dimensional statistics, graphical models, signal processing theory
Artificial Intelligence & Machine LearningAIML // Algorithms & Theoretical Computer ScienceATCS // Computer Architecture & Integrated SystemsCAIS // Data Management & Information RetrievalDMIR // Digital EducationDE // Human-Computer InteractionHCI // Information & Communication TheoryICT // Programming Languages & Formal MethodsPLFM // Security & PrivacyS&P // Signal & Image ProcessingSIP // Systems & NetworkingS&N // Visual ComputingVC

 

Courtesy Appointments & non-IC EDIC Affiliated Faculty

FacultyLabAIMLATCSCAISDEDMIRHCIICTPLFMS&PSIPS&NVCKeywords
Alahi, AlexandreVisual Intelligence for Transportation (ENAC)AIMLATCSHCISIPVCtransportation & mobility, socially-aware artificial intelligence, computer vision, machine learning, deep learning, human-robot interaction, ambient intelligence
Boumal, NicolasContinuous Optimization (SB)AIMLATCSoptimization, geometry, statistics, numerical analysis
Burg, AndreasTelecommunications Circuits (STI)CAISICTS&Ntelecommunication, wireless communication, circuits and systems, VLSI
Cevher, VolkanInformation and Inference Systems (STI)AIMLATCSICTSIPmachine learning, optimization, signal processing theory, information theory, statistics
Eisenbrand, FriedrichDiscrete Optimization (SB)ATCScombinatorial optimization, computational geometry, complexity, approximation algorithms
Filipovic, DamirQuantitative Finance (CDM)AIMLquantitative finance, applied probability, machine learning
Frossard, PascalSignal Processing (STI)AIMLSIPS&Ngraph and network signal processing, image and video processing, image analysis and recognition, machine learning and data science, multimedia communications
Gillet, DenisInteraction Systems (STI)DMIRHCIweb-based interaction systems, human-computer interaction, human-device interaction, cyber physical systems, coordination systems, autonomous vehicles, connected vehicles
Hongler, ClémentStatistical Field (SB)AIMLneural networks, learning theory, probability, mathematical physics, statistical mechanics
Ijspeert, AukeBiorobotics (STI)AIMLlocomotion, robotics, computational neuroscience, machine learning, nonlinear dynamical system
Kaplan, FrédéricDigital Humanities (CDH)AIMLVCdigital 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, NegarBusiness Analytics (CDM)AIMLATCSICTdata science, machine learning, statistics
Martinoli, AlcherioDistributed Intelligent Systems and Algorithms (STI)AIMLdistributed cyber-physical systems; distributed, networked, and swarm robotics; sensor and actuator networks; intelligent vehicles; swarm intelligence
Mattavelli, MarcoMultimedia (STI)VCmultimedia systems engineering, digital system analysis and modeling, design space exploration and implementation methodologies
Matthis, AlexandreComputational Neuroscience & AI (SV)AIMLSIPcomputational/theoretical neuroscience, models of biological systems, learning, computer vision, machine learning, artificial intelligence, behavior 
Merminod, BertrandGeodectic Engineering (STI)SIPVCsatellite positioning, Kalman filtering, registration of pushbroom imagery, calibration of hyperspectral images
Paolone, MarioDistributed Electrical Systems (STI)S&Npower systems, smart grids, energy, storage systems, situational awareness, optimal planning and control
Rohrmeier, MartinDigital and Cognitive Musicology (CDH)AIMLDMIRHCImusic cognition and empirical musicology, cognitive perspectives on music and language, implicit learning and knowledge, computational modelling and corpus analysis, music theory and analysis, philosophy of music
Sayed, AliAdaptive Systems (STI)AIMLICTSIPadaptation and learning theories, statistical inference, distributed optimization, network and data sciences, biologically-inspired designs
Shoaran, MahsaIntegrated Neurotechnologies (STI)AIMLCAISHCISIP S&Nneural interfaces, low-power integrated circuits, edge machine learning, neurotechnology, neural signal processing and machine learning, brain-machine interfaces
Vandergheynst, PierreSignal Processing (STI)AIMLSIPVCdata science, machine learning, computational harmonic analysis, inverse problems, compressive sensing, computer vision
Artificial Intelligence & Machine LearningAIML // Algorithms & Theoretical Computer ScienceATCS // Computer Architecture & Integrated SystemsCAIS // Data Management & Information RetrievalDMIR // Digital EducationDE // Human-Computer InteractionHCI // Information & Communication TheoryICT // Programming Languages & Formal MethodsPLFM // Security & PrivacyS&P // Signal & Image ProcessingSIP // Systems & NetworkingS&N // Visual ComputingVC