Padmanabhan Krishnan

Why they're in the Luvo100

Krishnan co-developed Macaron’s logic-based approach to checking the build integrity of software and its dependencies. This supplies explicit, automatable assurance checks for engineering workflows; his research leadership is supported by authorship of a working framework rather than assigned the whole team’s output.