Gerard J. Holzmann

Pays-Bas · Sur la carte · Scientifiques · Naissance en 1951 · 75 ans

Gerard J. Holzmann (né à Amsterdam, le 12 novembre 1951) est un informaticien américano-néerlandais ; chercheur aux Laboratoires Bell et à la NASA, il est surtout connu comme le développeur du vérificateur de modèles SPIN.

Texte issu de Wikipédia, CC BY-SA 4.0

Gerard J. Holzmann : environ 9,5 lectures par jour, en 8 langues.

Un jour typique, sur 30 jours jusqu'au 21 septembre 2026

Le jour médian de la période comptée : une semaine d'actualité ne peut donc pas le faire bouger. La courbe en dessous montre les 60 derniers jours, un point par jour.

Une erreur ?