Affiliated Laboratories
Scalable Computing Systems Laboratory
Large-scale distributed systems. Scalable design, failure resilience, performance and privacy-preservation
Lab for Automated Reasoning and Analysis
Formal software verification
Very Large Scale Computing Laboratory
Very large scale systems
Chair SFI-SM
Economics and optimization
Programming Methods Laboratory 1
Programming languages
Distributed Electrical Systems Laboratory
Power systems (smart grids)
HexHive Laboratory
Software and systems security
Salathé Group
Digital epidemiology and personalized health
Image and Visual Representation Laboratory
Image understanding and conceptualization
Security and Privacy Engineering Lab
Privacy enhancing technologies
Security and Cryptography Laboratory
Cryptography
Data Science Laboratory
Data science and privacy