Affiliated Laboratories
Laboratory for Computation Security
Theoretical computer science and computer security
Scalable Computing Systems Laboratory
Large-scale distributed systems
Robust Scalable Systems Software Lab
Scalability and robustness of systems software
Chair SFI-SM
Economics and optimization
Signal Processing Laboratory 4
Image processing, graph signal processing and machine learning
Laboratory for Information and Inference Systems
Machine learning, optimization, signal processing
Data Science Laboratory
Data science and privacy
Security and Cryptography Laboratory
Cryptography
Security and Privacy Engineering Lab
Privacy enhancing technologies
Image and Visual Representation Laboratory
Image understanding and conceptualization
Salathé Group
Digital epidemiology and personalized health
HexHive Laboratory
Software and systems security
Distributed Electrical Systems Laboratory
Power systems (smart grids)
Programming Methods Laboratory 1
Programming languages
Computer Communications and Applications Laboratory 2
Cyber physical systems
Very Large Scale Computing Laboratory
Very large scale systems
Lab for Automated Reasoning and Analysis
Formal software verification
Machine Learning and Optimization Laboratory
Machine learning
Processor Architecture Laboratory
Processor architecture and electronic design automation
Chair SFI-JH
Asset pricing and mathematical Finance