Dexter Kozen
Dexter Campbell Kozen (né le ) est un informaticien théoricien américain. Il travaille en théorie de la complexité, plus particulièrement sur des problèmes de décision en algèbre et en logique, en sémantique des langages de programmation et en sécurité informatique. Informations fournies par Wikipedia-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9