Laboratoire des systèmes fiables

Le Laboratoire des systèmes à charge (DSLAB) de l'EPFL met l'accent sur le développement de techniques de construction de systèmes informatiques fiables, sûrs et sécurisés. Leur recherche se penche sur les défis de la sécurité et de la sûreté dans les systèmes à grande échelle, en explorant les solutions aux problèmes du monde réel. Le DSLAB fonctionne à l'intersection des systèmes d'exploitation, des systèmes distribués, des langages de programmation, des méthodes formelles et de l'architecture informatique. Le travail du laboratoire est soutenu par divers leaders de l'industrie et des subventions de recherche, ce qui permet de développer des prototypes open-source pour évaluer leurs solutions avec des charges de travail réelles.