Alan H. Borning - Alan H. Borning

Alan H. Borning
MillatiAmerika
Olma materStenford universiteti
Rid kolleji
Ma'luminsonning kompyuter bilan o'zaro ta'siri
MukofotlarACM Fellow (2001)
Ilmiy martaba
MaydonlarKompyuter fanlari
InstitutlarVashington universiteti
DoktorantlarA. J. Bernxaym cho'tkasi
Veb-saytwww.cs.vashington.edu/ odamlar/ fakultet/ zerikarli/

Alan H. Borning amerikalik Kompyutershunos haqidagi tadqiqotlari uchun qayd etilgan insonning kompyuter bilan o'zaro ta'siri va ob'ektga yo'naltirilgan dasturlash. Xususan, uning inson-kompyuter o'zaro ta'siridagi tadqiqotlari insoniy qadriyatlarni loyihalashtirishga qaratilgan. U fuqarolik harakati va muhokamasini qo'llab-quvvatlash tizimlarida ishlaydi va jamoat transportidan foydalanishni osonlashtiradigan vositalar ustida ishlaydi. Shuningdek, u cheklovlarga asoslangan tillar va tizimlar ustida ish olib borgan, cheklash tillari va hal qiluvchilar bilan hamkorlik qilgan.[1]

Biografiya

Borning a B.A. yilda Matematika dan Rid kolleji 1971 yilda u oldi XONIM. yilda Kompyuter fanlari dan Stenford universiteti 1974 yilda va a Ph.D. yilda Kompyuter fanlari dan Stenford universiteti 1979 yilda.

Keyin u bo'limiga qo'shildi Kompyuter fanlari da Vashington universiteti 1980 yilda, 2016 yilda u hali ham u erda professor. Shuningdek, u Axborot maktabining yordamchi professori va fanlararo falsafa doktori. Shahar dizayni va rejalashtirish dasturi.

Mukofotlar

2001 yilda u ACM a'zosi bo'ldi[2] cheklovlarga asoslangan tillarga, tizimlarga va dasturlarga, ob'ektga yo'naltirilgan dasturlashga qo'shgan hissasi uchun; kompyuterlar va jamiyat muammolarini tushunish.

Adabiyotlar

  1. ^ Cowowary chiziqli arifmetik cheklovlarni echish algoritmi, Mualliflar: Greg J. Badros, Alan Borning va Piter J. Steki
  2. ^ Hisoblash texnikasi assotsiatsiyasi (2014-07-01). "ACM Awards ACM Fellow". ACM. Olingan 2014-07-01.

Tashqi havolalar