MSc student Leon Freriks gave his graduation presentation today and succesfully defended his MSc thesis “Using static analysis to improve scalability of active automata learning of data-dependent components”. Leon did his MSc final project as a graduation intern at ASML.