Dexter Campbell Kozen (doğdu20 Aralık 1951) Amerikalı bir bilgisayar teorisyeni . O çalışır karmaşıklık teorisi üzerinde daha belirgin olarak, karar problemlerinin içinde, cebir ve mantık programlama dillerinden semantik ve bilgisayar güvenliği .
Kozen okudu Dartmouth Koleji'nden bir Lisans Matematik 1974 ve 1976 yılında bir elde doktora altında Bilgisayar Bilimleri Juris Hartmanis de Cornell Üniversitesi ( "sonlu takdim cebirlerin Karmaşıklık").
O olarak çalıştı doktora sonrası araştırmacı olarak Berkeley'deki California Üniversitesi'nde araştırmacı olarak, 1978 den sonra ve IBM Araştırma Merkezi'nde Yorktown Heights . 1981-82'de Aarhus Üniversitesi'nde (ve 1991-92'de ikinci kez) misafir profesördü ve 1984-85'te Columbia Üniversitesi'nde "Yardımcı Profesör" oldu . 1985'ten itibaren doçent oldu, ardından 1989'da Cornell Üniversitesi'nde bilgisayar bilimi profesörü oldu ve 1994'ten beri Joseph Newton Pew sandalyesini yönetti.
Kozen karmaşıklık teorisinde , daha spesifik olarak cebir ve mantıkta karar problemleri , programlama dillerinin anlambiliminde ve bilgisayar güvenliğinde çalışmaktadır . Modal mantıkla çalışıyor : Dana Scott ve Jaco de Bakker ile modal μ-calculus'un kurucusu ve David Harel (de) ile dinamik mantığın yaratıcılarından biri .
1976'da Ashok Chandra ve Larry Stockmeyer'den bağımsız olarak ancak aynı zamanda üç yazarın Journal of the ACM'de birkaç yıl sonra bir referans sunumu yaptığı dönüşümlü Turing makinesi kavramını tanıttı . Olasılıksal anlambilimin öncülerinden biridir ve olasılıkçı programların anlambiliminin ölçme teorisi üzerinde çalışmaktadır. Kleene cebirlerine önemli katkıları vardır .
1989'da, Susan Landau ile , polinomların ayrışması için polinom zamanında bir algoritmayı tanımladı (bir polinom p'nin p = g ( f ) biçiminde temsil edilmesi anlamında , burada g ve f daha büyük polinomlardır. 1'den fazla).
Dexter Kozen, teorik bilgisayar bilimlerinde çeşitli eğitim kılavuzlarının yazarıdır. Faaliyet yelpazesi ve çeşitli ilgi alanları, eserlerindeki ortak yazarların çeşitliliğine de yansıyor: DBLP ona 96 farklı ortak yazar atıyor . Ayrıca yirmi civarında doktora tezi yönetmiştir.
Kozen bir olan Fellow of Association for Computing Machinery (ACM) ve Advancement of Science için Amerikan Derneği . 1991'de Guggenheim Üyesiydi . 1980 yılında , Ashok Chandra ve Larry Stockmeyer ile birlikte iş-çalışma programları üzerindeki çalışmaları nedeniyle IBM'den "Üstün Yenilik Ödülü" nü aldı . 2016 yılında EATCS ödülünü aldı .