-
limited to): compositional contract-based design, compositional correct-by-design methods, specification formalism for expressing properties of ACPS, statistical verification, and runtime verification under
-
and materials science of organic semiconductors, polymer blends and composites, and develops new plastic materials for use in the fields of wearable electronics and energy technology. All research is
-
. Information about the division and the department The Müller Research Group focuses on the physical chemistry and materials science of organic semiconductors, polymer blends and composites, and develops new
-
reflected in our team's composition spanning humanities, engineering, natural, and social sciences. We are united by applying systems-based approaches. Major responsibilities The main responsibility involves
-
formal methods, to enable and support the development of assured ACPS. Topics of interest are (but are not limited to): compositional contract-based design, compositional correct-by-design methods