Dexter KozenDexter 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. CarrièreKozen étudie au Dartmouth College et obtient un bachelor de mathématique 1974, et en 1976 il obtient un Ph. D. en informatique sous la direction de Juris Hartmanis à l'université Cornell (« Complexity of finitely presented algebras »)[1]. Il travaille comme chercheur postdoctoral à l'université de Californie à Berkeley et ensuite, à partir de 1978, comme chercheur au centre IBM Research à Yorktown Heights. En 1981-82, il est professeur invité à l'université d'Aarhus (et une deuxième fois en 1991-92) et en 1984-85, il est « Adjunct Professor » à l'Université Columbia. À partir de 1985 il est professeur associé, puis en 1989 il devient professeur d'informatique à l'université Cornell, où il est depuis 1994 titulaire de la chaire Joseph Newton Pew. RechercheKozen 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. Il travaille en logique modale : avec Dana Scott et Jaco de Bakker, il est le fondateur du μ-calcul modal et un des créateurs de la logique dynamique avec David Harel. En 1976 il introduit, indépendamment de Ashok Chandra et Larry Stockmeyer mais en même temps qu'eux, la notion de machine de Turing alternante, dont les trois auteurs font un exposé de référence quelques années plus tard dans le Journal de l'ACM. Il est un des pionniers de la sémantique probabiliste, et travaille sur la théorie de la mesure de la sémantique de programmes probabilistes. Il a des contributions importantes sur les algèbres de Kleene. En 1989, il décrit, avec Susan Landau, un algorithme en temps polynomial pour la décomposition de polynôme (au sens de la représentation d'un polynôme p sous la forme p = g(f), où g et f sont des polynômes de degré plus grand que 1). Dexter Kozen est auteur de plusieurs manuels d'enseignement en informatique théorique. Son spectre d'activités et ses intérêts multiples se reflètent aussi dans la variété des coauteurs de ses travaux : DBLP lui attribue 96 coauteurs différents. Il a également encadré une vingtaine des thèses de Ph. D. Prix et distinctionsKozen est Fellow de l'Association for Computing Machinery (ACM) et de l'Association américaine pour l'avancement des sciences. En 1991, il est Guggenheim Fellow. En 1980, il reçoit le « Outstanding Innovation Award » d'IBM pour son travail sur l'alternation, avec Ashok Chandra et Larry Stockmeyer. En 2016, il est récipiendaire du prix EATCS. Publications (sélection)
Notes et références
Liens externes |