IC | COMPSEC | Computation Security | Chiesa, Alessandro | ATCS, SP | probabilistic proofs, zero knowledge proofs, succinct arguments |
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 |
IC | DSLAB | Dependable Systems | Candea, George | OSNET, PLFM, SP | reliability and security in large-scale systems, predictable system performance, scalability |
IC | HEXHIVE | HexHive | Payer, Mathias | PLFM, SP | system security, software security, mitigations, sanitization, automated testing, compartmentalization |
IC | LASEC | Security and Cryptography | Vaudenay, Serge | ATCS, ICT, SP | cryptography, cryptographic constructions, security models, cryptanalysis, biometry, privacy vs transparency, fairness |
IC | LIA | Artificial Intelligence | Faltings, Boi | AIML, NLP | multi-agent systems, distributed AI, privacy-preserving AI, computational game theory |
IC | LSIR | Distributed Information Systems | Aberer, Karl | AIML, DMIR, NLP | semantic interoperability, information retrieval, social networks, trust management |
IC | MIL | Mathematics of Information | Shkel, Yanina | ATCS, ICT | theoretical aspects of data science, statistics, privacy, cryptography, {information, learning, coding}-theory |
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 | NAL | Network Architecture | Argyraki, Katerina | OSNET | network transparency and neutrality, network inference, network function verification, performance verification |
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 | 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 | 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 | VCA | Verification and Computer Architecture | Bourgeat, Thomas | CAIS, PLFM, SP | processor design, programming languages, computer architecture and formal hardware verification |