Profile

At the Foundations of Dependable Systems Group, our mission is to advance the field of dependable systems through research in verification methods and algorithms. Our work encompasses both the development of verification techniques and their practical application to real-world challenges. The overarching objective is to enhance the reliability of dependable systems, ultimately contributing to a safer and more secure technological landscape.