School IC | URL Lab COMPSEC | Lab Computation Security | Supervisor Chiesa, Alessandro | IC Domain ATCS, SP | Research Interest probabilistic proofs, zero knowledge proofs, succinct arguments |
School IC | URL Lab DCL | Lab Distributed Computing | Supervisor Guerraoui, Rachid | IC Domain ATCS, AIML, DC, PLFM | Research Interest algorithms, security and privacy, operating systems and networks, artificial intelligence |
School IC | URL Lab DCSL | Lab Data Center Systems | Supervisor Bugnion, Edouard | IC Domain OSNET | Research Interest datacenter efficiency, microsecond-scale computing, trust in the cloud, computer systems, datacenter operating systems and networking, virtualization |
School IC | URL Lab DEDIS | Lab Decentralized and Distributed Systems | Supervisor Ford, Bryan | IC Domain DC, PLFM, SP | Research Interest decentralized systems, digital personhood, e-voting and digital democracy, blockchains and cryptocurrencies |
School IC | URL Lab DSLAB | Lab Dependable Systems | Supervisor Candea, George | IC Domain OSNET, PLFM, SP | Research Interest reliability and security in large-scale systems, predictable system performance, scalability |
School IC | URL Lab HEXHIVE | Lab HexHive | Supervisor Payer, Mathias | IC Domain PLFM, SP | Research Interest system security, software security, mitigations, sanitization, automated testing, compartmentalization |
School IC | URL Lab LASEC | Lab Security and Cryptography | Supervisor Vaudenay, Serge | IC Domain ATCS, ICT, SP | Research Interest cryptography, cryptographic constructions, security models, cryptanalysis, biometry, privacy vs transparency, fairness |
School IC | URL Lab MIL | Lab Mathematics of Information | Supervisor Shkel, Yanina | IC Domain ATCS, ICT | Research Interest theoretical aspects of data science, statistics, privacy, cryptography, {information, learning, coding}-theory |
School IC | URL Lab MLO | Lab Machine Learning and Optimization | Supervisor Jaggi, Martin | IC Domain ATCS, AIML, DC, NLP | Research Interest distributed training, collaborative learning, efficiency, robustness and privacy when training ML and deep learning models |
School IC | URL Lab NAL | Lab Network Architecture | Supervisor Argyraki, Katerina | IC Domain OSNET | Research Interest network transparency and neutrality, network inference, network function verification, performance verification |
School IC | URL Lab PARSA | Lab Parallel Systems Architecture | Supervisor Falsafi, Babak | IC Domain CAIS, DC, PLFM | Research Interest post-Moore servers, sustainability in datacenters, machine learning systems, cloud computing |
School IC | URL Lab PARSA | Lab Parallel Systems Architecture | Supervisor Stojilovic, Mirjana | IC Domain CAIS, SP | Research Interest field-programmable technology, electronic design automation (EDA), electrical-level attacks and countermeasures for reconfigurable hardware |
School IC | URL Lab QCC | Lab Quantum Complexity and Cryptography | Supervisor Vidick, Thomas | IC Domain ATCS | Research Interest quantum complexity, cryptography, quantum interactive proof systems, quantum mechanics, theoretical computer science |
School IC | URL Lab RS3LAB | Lab Robust Scalable Systems Software | Supervisor Kashyap, Sanidhya | IC Domain CAIS, OSNET | Research Interest parallelism, concurrency, storage, verification, and software security |
School IC | URL Lab SaCS | Lab Scalable Computing Systems | Supervisor Kermarrec, Anne-Marie | IC Domain AIML, DMIR, DC | Research Interest system support for federated and decentralized learning, gossip-based distributed computing, peer to peer computing, scalable design, failure resilience, performance and privacy-preservation |
School IC | URL Lab SPRING | Lab Security and Privacy Engineering | Supervisor Gonzalez Troncoso, Carmela | IC Domain DMIR, DC, SP | Research Interest privacy engineering, societal impact of machine learning, decentralization |
School IC | URL Lab SYSTEMF | Lab Systems and Formalisms | Supervisor Pit-Claudel, Clément | IC Domain PLFM, SP | Research Interest programming languages, compilers, formal verification, systems engineering, hardware design languages, security, performance engineering, databases, and type theory |
School IC | URL Lab VCA | Lab Verification and Computer Architecture | Supervisor Bourgeat, Thomas | IC Domain CAIS, PLFM, SP | Research Interest processor design, programming languages, computer architecture and formal hardware verification |