Sort by
Refine Your Search
-
organisation The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) uses mathematics, electronics and computer technology to contribute to the development of Information and
-
for considering components independently. Inspired by so-called contract theories from computer science, such modular control theory will be based on the introduction of assume-guarantee contracts for control
-
to the development of a control theory that is inherently modular, i.e., that allows for considering components independently. Inspired by so-called contract theories from computer science, such modular control theory
-
theories from computer science, such modular control theory will be based on the introduction of assume-guarantee contracts for control systems. These contracts have two desired features: they should i) be
-
, computational fluid mechanics, high-performance computing, and physics-informed machine learning. Affinity with physics-informed machine learning, computational VVUQ (verification, validation, and uncertainty
-
, program analysis, mining software repositories, and empirical software engineering with close collaboration with industry partners. As a candidate, you will have the opportunity to collaborate with