KLEIN grants are intended for innovative, fundamental research of high quality and / or scientific urgency. They offer researchers the possibility to elaborate creative and risky ideas and to realise scientific innovations that can form the basis for the research themes of the future. The three UT scientists are among the total of sixteen recipients of the grant.
Arnd Hartmanns is an assistant professor at Formal Methods and Tools group (faculty EEMCS). His project focuses on the question 'who verifies the verification software?' In his research, he aims to mathematically formalise probabilistic verification algorithms, use interactive theorem-proving systems to show their correctness, and automatically turn them into correct-by-construction software.
Liliana Moreira Teixeira Leijten is an assistant professor at the department of Developmental BioEngineering (faculty ST). She received the grant for her research into gendered chips for healthy knees and hips. Her project proposes a novel approach to understand the gendered nature of osteoarthritis.
Stefan Luding is professor at the Multiscale Mechanics Group. His project deals with capillary suspensions, a new class of liquids that enable cost-efficient and eco-friendly production of novel materials. The research promises to develop multiscale numerical models and experimental protocols allowing to understand, predict and control their rheological behavior.