»Software begleitet uns heute in vielen Teilen unseres Lebens. Ihre korrekte Funktionalität ist unerlässlich für die Wirtschaft, aber auch für den Menschen. Mit mathematisch präzisen, formalen Methoden kann Zuverlässigkeit erreicht werden – wir schaffen die Basis und Methoden dafür.«