Christine Rizkallah

Why they're in the Luvo100

Rizkallah turns algorithmic correctness claims into reusable, inspectable proofs. The Burrows–Wheeler formalisation provides a checked foundation for an important data-transformation algorithm, while her wider work connects practical testing with stronger verification. Her contribution is the verification method and public proof artefact, not an unsupported claim of universal software safety.