Stephen D. Brookes
informaticien américain / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Stephen D. Brookes?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
Stephen D. Brookes est un informaticien théoricien, logicien et mathématicien, professeur à l'université Carnegie-Mellon. Il est connu pour ses contributions à la logique de séparation concurrente, qui lui ont valu l'attribution du prix Gödel 2016, avec Peter O'Hearn[1].
Faits en bref Formation, Activité ...
Stephen D. Brookes
Formation | |
---|---|
Activité |
A travaillé pour | |
---|---|
Distinction |
Prix Gödel () |
Fermer