Bernhard Steffen

Tools and Algorithms for the Construction and Analysis of Systems

Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Bridging the Gap Between AI and Reality

Let’s Talk AI

Bridging the Gap Between AI and Reality