Peter Müller

Die Untersuchung von Zufallsbewegungen in verzweigten Strukturen zeigt wichtige ökologische und rechnerische Dynamiken.

Eine neue Methode verbessert das Vertrauen in die automatisierte Programmverifikation.

Ein neuer Ansatz verbessert die Überprüfung von Rust-Code, der Innenveränderlichkeit nutzt.

Lerne, wie Programmverifikation die Zuverlässigkeit von Software in kritischen Branchen sicherstellt.