Dexter Kozen (Q5268410)
Aller à la navigation
Aller à la recherche
informaticien américain
| Langue | Libellé | Description | Également connu comme |
|---|---|---|---|
| français | Dexter Kozen |
informaticien américain |
|
| anglais | Dexter Kozen |
American computer scientist |
|
Déclarations
1 référence
W. Wallace McDowell Award anglais
2016
For groundbreaking contributions to topics ranging from computational complexity, to the analysis of algebraic computations, to logics of programs and verification. (anglais)
2
0 référence
Identifiants
1 référence
1 référence
1 référence
1 référence
1 référence
Liens de site
Wikipédia(3 entrées)
- dewiki Dexter Kozen
- enwiki Dexter Kozen
- frwiki Dexter Kozen