-
properties of skeletal muscle during static and dynamic contractions. The student will also participate in early-stage algorithmic work to model muscle architecture and behavior across contraction types. In
-
for behavioural and security properties; efficient algorithms for model checking, learning and synthesis; improved explainability and safety of machine learning models, e.g. by integrating neural and symbolic
-
well as developing solution algorithms applying mathematical and computational approaches. The group has a particular focus on automated decision making in autonomous cyber-physical systems. Autonomous systems and
Enter an email to receive alerts for algorithms-"Prof"-"Prof" positions