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 |
Mitgliedschaften
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" |
Publikationen
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 |