Artur Con Robin Qorell Milner

Artur Con Robin Qorell Milner (ing. Arthur John Robin Gorell Milner;13 yanvar 1934, Plimut, Devon qraflığı – 20 mart 2010, Kembric ) — hesablama sistemləri nəzəriyyəsi sahəsində ixtisaslaşmış britaniyalı alim.

Artur Con Robin Qorell Milner
Doğum tarixi	13 yanvar 1934(1934-01-13)
Doğum yeri	Plimut, Plimut[d], Devon qraflığı, İngiltərə, Birləşmiş Krallıq
Vəfat tarixi	20 mart 2010(2010-03-20) (76 yaşında)
Vəfat yeri	Kembric, Kembric[d], Kembricşir[d], Kembricşir qraflığı[d], Şərqi İngiltərə[d], İngiltərə, Birləşmiş Krallıq
Vəfat səbəbi	ürək tutması
Elm sahəsi	informatika
İş yerləri	London Şəhər Universiteti, Stenford Universiteti, Edinburq Universiteti
Təhsili	İton kolleci, Kembric Kinqs Kolleci[d]
Üzvlüyü	London Kral Cəmiyyəti, Fransa Elmlər Akademiyası, Hesablama Texnikası Assosiasiyası

Həyatı

13 yanvar 1934-cü ildə anadan olmuşdur.

1991-ci ildə o, LCF (Logic for Computable Functions) teoremlərin avtomatik isbatının aparılma sistemini, bu sistem üçün ML funksional proqramlaşdırma dilini və CCS (Calculus of Communicating Systems) qarşılıqlı təsirdə olan sistemlər üçün hesablamalar nəzəriyyəsini yaratdığına görə Türinq mükafatına layiq görülmüşdür. 2010-cu ildə "Milner CiteSeer" layihəsində ən çox istinad edilən müəlliflər siyahısında Milner 25-ci yeri tuturdu.

Ədəbiyyat

Əliquliyev R.M., Salmanova P.M. İnformasiya cəmiyyəti: maraqlı xronoloji faktlar. Bakı: "İnformasiya Texnologiyaları" nəşriyyatı, 2013, 169 səh.