Software engineering, software quality assurance
With an experience base in model-driven software development and automated testing, we are building up a group focusing on quality assurance of machine learning software. In a cooperation with WASP and Software Center, we plan for three PhD students in the areas of:
- Static analysis of ML Software, Yiran Wang, PhD student
- Testing of Neural networks, PhD student waiting for visa
- Anti-patterns detection for Machine learning programs, PhD student in recruitment process
Contact: