The project "Model Guided Machine Learning for Simulating Soft Tissue Materials in Medicine", short: M4, is one of the newly established I3-Labs for innovative and interdisciplinary IT research at TUHH. M4 is a collaborative research project by four faculty from computer science and mechanical engineering on novel methods of modeling and verification in the context of medical robotics.
STS is project partner with particular focus on formal methods and hybrid logics. The meeting was the first where the new doctoral students met all four PIs.