 |
Susanne Graf is Senior Researcher („Directeur de Recherche“) at CNRS. She is deputy director of VERIMAG, a joint research lunit of CNRS and Grenoble University.
Her scientific domain of interest is methods and tools for developing correct software where she is particularly interested in the application domain of safety-critical embedded systems. In particular, she has worked on abstraction methods and on compositional approaches. Currently, her main interest is contract-based approaches and how to make them applicable to current industrial practice. |
PROF. DR. FRANK J. FURRER
ANTRITTSVORLESUNG & WORKSHOP | 21. JANUAR 2016