Guido Tack

Why they're in the Luvo100

Tack’s engineering connects formal modelling with usable developer tools. Work on analysis and richer types helps expose modelling mistakes earlier, while maintaining the implementation makes these capabilities available beyond individual research demonstrations.