Metadata
Author: WikiMatrix
Data
German[de]
Seine Forschung konzentriert sich auf die verschiedenen Facetten der formalen Methoden, die von Programmanalyse und Überprüfung, um die Synthese Workflow, und testbasierte Modellierung.
English[en]
His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, and to test-based modeling.