{"version":"1.0","type":"link","title":"Dexter Kozen - Newikis","description":"Dexter Campbell Kozen (né le 20 décembre 1951) 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.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}