Affiliated Laboratories

Robust Scalable Systems Software Lab

Scalability and robustness of systems software

Sanidhya Kashyap

Scalable Computing Systems Laboratory

Large-scale distributed systems. Scalable design, failure resilience, performance and privacy-preservation

Anne-Marie Kermarrec

Lab for Automated Reasoning and Analysis

Formal software verification

Viktor Kunčak

Chair SFI-SM

Economics and optimization

Semyon Malamud

Programming Methods Laboratory 1

Programming languages

Martin Odersky

Distributed Electrical Systems Laboratory

Power systems (smart grids)

Mario Paolone

HexHive Laboratory

Software and systems security

Mathias Payer

Systems and Formalism Lab

Clément Pit-Claudel

Salathé Group

Digital epidemiology and personalized health

Marcel Salathé

Prof. Shkel Group

Signal processing, cryptography

Yanina Shkel

Image and Visual Representation Laboratory

Image understanding and conceptualization

Sabine Süsstrunk

Security and Privacy Engineering Lab

Privacy enhancing technologies

Carmela Troncoso

Security and Cryptography Laboratory

Cryptography

Serge Vaudenay

Prof. Vidick Group

Quantum Computing

Thomas George P. Vidick

Data Science Laboratory

Data science and privacy

Robert West