Rafal Kolanski

Why they're in the Luvo100

Kolanski helps make formal assurance maintainable as software changes. His contribution addresses the practical difficulty of keeping substantial machine-checked proofs working over time, so correctness work can remain part of engineering rather than a one-off research result.