Markus Wagner

Why they're in the Luvo100

Wagner’s work applies optimisation to the cost and effectiveness of checking software. Research on regression-test selection and proof strategies provides a concrete quality connection, distinct from his broader work on optimisation in other domains.