J Strother Moore - J Strother Moore
J Strother Moore (son prénom est le caractère alphabétique « J » – pas un « J. » abrégé ») est un informaticien . Il est co-développeur de l' algorithme chaîne de recherche Boyer-Moore , l' algorithme majorité Boyer-Moore , et le théorème automatisé Boyer-Moore prouveur, Nqthm . Il a fait des contributions pionnières au partage de structure, y compris la structure de données de table de pièces et la programmation logique précoce . Un exemple du fonctionnement de l'algorithme de recherche de chaîne Boyer-Moore est donné sur le site Web de Moore . Moore a obtenu son baccalauréat ès sciences (SB) en mathématiques au Massachusetts Institute of Technology en 1970 et son doctorat en philosophie (Ph.D.) en logique informatique à l' Université d'Édimbourg en Écosse en 1973.
De plus, Moore est co-auteur du prouveur de théorème automatisé ACL2 et de ses prédécesseurs, dont Nqthm , pour lequel il a reçu, avec Robert S. Boyer et Matt Kaufmann, le 2005 ACM Software System Award . Lui et d'autres ont utilisé ACL2 pour prouver l'exactitude des opérations de division en virgule flottante du microprocesseur AMD K5 à la suite du bogue du Pentium FDIV .
Pour ses contributions à la déduction automatisée , Moore a reçu le prix Herbrand 1999 avec Robert S. Boyer , et en 2006, il a été intronisé en tant que membre de l' Association for Computing Machinery . Moore a été élu membre de la National Academy of Engineering en 2007 pour ses contributions au raisonnement automatisé sur les systèmes informatiques. Il est également membre de l'AAAI. Il a été élu membre correspondant de la Royal Society of Edinburgh en 2015.
Il est actuellement l' amiral BR Inman Centennial Chair in Computing Theory à l'Université du Texas à Austin , et a été président du département d'informatique de 2001 à 2009.
Avant de rejoindre le département d'informatique en tant que président, il a formé une société, Computational Logic Inc. , avec d'autres, dont son ami proche de l'Université du Texas à Austin et l'un des professeurs les plus réputés dans le domaine du raisonnement automatisé , Robert S. Boyer.
Moore aime l'escalade .
Voir également
Les références
Liens externes
- Site officiel
- "Mes" meilleures idées (de la page d'accueil de J Strother Moore)
- Algorithme de recherche de chaîne rapide Boyer–Moore
- Machines Reasoning about Machines , conférence de J Strother Moore donnée à l' EPFL en 2011, donnant un aperçu de certains de ses travaux