Гүл Ага (информатик) - Gul Agha (computer scientist)

Басқа мақсаттар үшін қараңыз Гүл Ага.
Гүл Ага
Туған
Синд, Пәкістан
Алма матерКалифорния технологиялық институтыМичиган университеті
БелгіліАктер моделі, статистикалық модельді тексеру, актерлік бағдарламалау тілдері
ЖұбайларДженнифер С.Коул
МарапаттарСтипендиат IEEE
Ғылыми мансап
ӨрістерИнформатика
МекемелерУрбан-Шампейндегі Иллинойс университеті
ДиссертацияАктерлер: Таратылған жүйелердегі параллельді есептеудің моделі  (1985)
Докторантура кеңесшісіДжон Голланд және Карл Хьюитт

Гүл Ага (گُل آغا) - профессор Информатика кезінде Урбан-Шампейндегі Иллинойс университеті, және Ашық жүйелер зертханасының директоры. Ол өзінің жұмысымен танымал актер моделі туралы бір уақытта есептеу,[1] және де Бас редактор болған ACM Computing Surveys 1999 жылдан 2007 жылға дейін.[2]Аға өзінің B.S. 1977 жылы Калифорния технологиялық институтының үздік дипломымен[3] және оны қабылдады Ph.D. бастап компьютерлік және коммуникациялық ғылымдар Мичиган университеті басшылығымен 1986 ж Джон Голланд. Алайда оның докторлық зерттеулерінің көп бөлігі жүргізілді Карл Хьюитт Келіңіздер Хабарлама беру семантикасы тобы кезінде Массачусетс технологиялық институты (MIT).[4][5][6] Ағаның диссертациясын MIT түймесін басыңыз сияқты Актерлер: үлестірілген жүйелерде бір уақытта есептеу моделі, ACM сәйкес кітап Әдебиеттерді есептеу бойынша нұсқаулық, 3000-нан астам рет келтірілген.[7] Аға дүниеге келіп, алғашқы мектебін аяқтады Синд, Пәкістан. Ол өзінің B.S. құрмет грамотасымен Калифорния технологиялық институты 1977 ж.

Мүдделер

Аға ұнайды Блюз музыка және вегетариандық және пацифист.[3] Оның үш қызы бар және ол әйелімен бірге тұрады, Дженнифер С.Коул Иллинойс штатында.

Марапаттар

Аға бұл ұйымның мүшесі болды Электр және электроника инженерлері институты (IEEE) 2002 ж.[8] Ол сондай-ақ IEEE Computer Society-дің алтын ядролы мүшесі және IEEE Computer Society-ге еңбегі сіңген қызмет сыйлығының иегері және ол Халықаралық оқытушы 1992 жылдан 1997 жылға дейінгі ACM үшін.[4]Аға сайланды ACM стипендиаты 2018 жылы «бір уақытта бағдарламалау және формальды әдістер, атап айтқанда актер моделін зерттеу» үшін.[9]

Сондай-ақ қараңыз

  • SALSA (бағдарламалау тілі)

Әдебиеттер тізімі

  1. ^ Ли, Эдвард (қыркүйек 2000). «Енгізілген бағдарламалық жасақтаманы не күтіп тұр?». IEEE Computer. 33 (7): 18–26. дои:10.1109/2.868693. Алынған 2008-01-01. Иллинойс университетінің қызметкері Гул Ага объектілерді қатар есептеуге дейін жеткізетін актерларды сипаттайды.
  2. ^ Аға, Гүл (қаңтар 2008). «Компьютерлік кеңістіктегі есептеу». ACM байланысы. 51 (1): 68–70. дои:10.1145/1327452.1327484. S2CID  12654601.
  3. ^ а б Дуня, С.Гуль Ага: Синдтің талантты информатигі. 26 ақпан, 2016. Синдхи Дуня: Синд мәдениетінің дауысы. 20 қыркүйек, 2017 қол жетімді
  4. ^ а б «Гүл Аға». Урбана-Шампейндегі Иллинойс университетінің Информатика факультеті, факультет анықтамалығы. Архивтелген түпнұсқа 2007-10-17. Алынған 2007-12-30.
  5. ^ Гүл аға (1986). «Актерлер: Таратылған жүйелердегі бір уақытта есептеудің үлгісі». Докторлық диссертация. MIT түймесін басыңыз. hdl:1721.1/6952. Журналға сілтеме жасау қажет | журнал = (Көмектесіңдер)
  6. ^ * Карл Хьюитт және Гул Ага. Қорғалған мүйізді сөйлемнің тілдері: олар дедуктивті және логикалық ма? Бесінші буын компьютерлік жүйелері бойынша халықаралық конференция, Омша 1988. Токио. Сондай-ақ MIT-тегі жасанды интеллект, Т. 2. MIT Press 1991.
  7. ^ ACM. «Актерлер: үлестірілген жүйелерде бір уақытта есептеу моделі». Әдебиеттерді есептеу бойынша нұсқаулық. Алынған 2009-01-04.
  8. ^ IEEE. «2002 ж. Сыныбы». Алынған 2007-12-30.
  9. ^ 2018 ACM стипендиаттары цифрлық дәуірдің негізін қалайтын ерекше жетістіктерімен марапатталды, Есептеу техникасы қауымдастығы, 2018 жылғы 5 желтоқсан

Сыртқы сілтемелер