Michael Burrows
Informaticien à l'origine de la logique BAN pour les protocoles d'authentification – et, presque en passant, de la transformée de Burrows-Wheeler.
La logique BAN (1989, avec Martín Abadi et Roger Needham) est l'une des premières tentatives sérieuses de raisonner formellement sur ce que chaque partie à un protocole d'authentification est en droit de croire après chaque message. Elle a mis au jour des failles dans des protocoles publiés et lancé tout le champ de la vérification formelle de protocoles, y compris l'analyse de Kerberos.
En 1994, lui et David Wheeler décrivent la transformée par tri de blocs qui rendra plus tard bzip2 possible. Il a aussi écrit l'indexeur d'AltaVista et, chez Google, le service de verrous Chubby. Peu de gens ont une bibliographie aussi large avec aussi peu de communiqués de presse.