Software is dominating our everyday lives. The Reliable Software and Distributed Systems group develops methods for reliable software.
The “Reliable Software and Distributed Systems” group, led by Malte Mues, focuses on software development strategies. We are interested in methods and procedures that lead to high-quality software. So far, we have focused on the program verification of Java web applications with regard to IT security vulnerabilities and the design of low-code languages for low-threshold access to domain-specific data analysis solutions.
We are also interested in all other test procedures, (semi-)formal methods and design strategies that are helpful for reliable software systems, regardless of whether they are distributed or run locally.
More information about #UniWuppertal:
