June Andronick

Why they're in the Luvo100

Andronick’s case rests on both technical verification work and sustaining the capability to maintain it. That combination helps rigorous software assurance survive changes in code, platforms and organisations, with proof results attributed to the collaborating engineering team.