Six eminent researchers discuss this question live with Prof. Gerald Lüttgen and the audience on Zoom, and offer their perspectives from the fields of model-driven software engineering, socio-technical systems engineering, and formal analysis and verification.
Rance Cleaveland, Professor of Computer Science, University of Maryland, USA
His academic interests are in the areas of software verification and validation, software specification and testing, and formal methods tools. Rance currently serves as Director of the Computing and Communication Foundations Division in the U.S. National Science Foundation, and previously was the Executive and Scientific Director of the Fraunhofer USA Center for Experimental Software Engineering. He is a co-founder of Reactive Systems, Inc., a company that makes model-based testing tools for embedded software.
Voraussichtliches Ende: 17:00 Uhr
Zurück zur Übersicht
