to Content

Dr. Werner DAMM Professor and Head, Safety Critical Embedded Systems, Department of Computing Science, and Director, Interdisciplinary Research Center for Critical Systems Engineering for Socio-Technical Systems, Carl von Ossietzky University of Oldenburg

CV

1976 Diploma in Computer Science and Mathematics from University of Bonn
1981 PhD in computer science from the RWTH Aachen and best dissertation award in formal semantics
1986 Venia Legendi from the RWTH Aachen for his research in computer architecture
since 1987 Professor W3 for Computer Science, Carl von Ossietzky-Universität, Oldenburg
1997 Visiting professor Weizmann Institute of Sciences, Rehovot, Israel, together with A. Pnueli und D. Harel
2001-2002 Visiting professor University Uppsala, Sweden, together with B. Jonsson
since 2002 Chair of the Department "Safety Critical Embedded Systems", Carl von Ossietzky-Universität Oldenburg
since 2013 Director of the Interdisciplinary Research Center on Critical Systems Engineering for Socio-Technical Systems
since 2015 Director of the working group "Hochautomatisierte Systeme" - SafeTRANS

Memberships

Selection:
Board of Directors of OFFIS e. V. - Institute for Information Technology, Oldenburg
Founder and member of the board of BTC Embedded Systems AG
HSCC Conference and Member of the Steering Board of Cyber Physical Systems Week
Member of Acatech, the German National Academy of Science and Engineering
Scientific Advisory Board of the strategical project FAST "zwanzig20-Partnerschaft für Innovation" of the Bundesministerium für Bildung und Forschung
Think Tank "Zentrum Digitalisierung Bayerns"

Publications

W. Damm and B. Finkbeiner. Does it pay to extend the perimeter of a world model? 17th International Symposium on Formal Methods, 12--26, June 2011
W. Damm, H. Dierks, S. Disch, W. Hagemann, F. Pigorsch, C. Scholl, U. Waldmann, B. Wirtz. Exact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces, Science of Computer Programming. Special Issue on Automated Verification of Critical Systems, 77(10-11): 1122-1150, 2012
A. Sangiovanni-Vincentelli, W. Damm, R. Passerone. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems: European Journal on Control, Vol 18 (3), 217-238, 2012
W. Damm, B. Finkbeiner. Automatic Compositional Synthesis of Distributed Systems. 19th International Symposium on Formal Methods, 179-193, 2014