Лори А. Кларк - Lori A. Clarke

Лори А. Кларк
Туған
Нью-Йорк, Нью-Йорк
ҰлтыАмерикандық
Алма матерКолорадо университеті
Рочестер университеті
БелгіліБағдарламалық жасақтама
МарапаттарACM стипендиаты (1998)
IEEE стипендиаты (2011)
Ғылыми мансап
ӨрістерИнформатика
МекемелерМассачусетс университеті Амхерст
ДиссертацияБағдарламаны растауға көмек ретінде деректерді генерациялау және бағдарламалардың символикалық орындалуын тексеру (1976)
Докторантура кеңесшісіЛеон Дж. Остервейл
ДокторанттарҚасқыр Александр
Веб-сайтлазер.cs.умас.edu/ адамдар/ кларк.html

Лори А. Кларк - өзінің зерттеулері үшін атап өткен американдық компьютертанушы бағдарламалық жасақтама.

Өмірбаян

Кларк а Б.А. жылы Математика бастап Рочестер университеті 1969 ж. ол а Ph.D. жылы Информатика бастап Колорадо университеті 1976 жылы және өзінің докторлық кеңесшісі Леон Остервейлге үйленді.

Содан кейін ол Информатика кафедрасына қосылды Массачусетс университеті Амхерст 1976 жылы ассистент. Ол жерде 1981 жылы доцент, 1986 жылы профессор дәрежесіне көтерілді. 2011 жылы ол Информатика мектебінің төрайымы болды. 2015 жылы ол Эмеритус профессоры.

Ол басқарма мүшесі болды SIGSOFT 1985 жылдан 2001 жылға дейін, оның ішінде кафедраны 1993-1997 жж. қоса басқарған CRA Ол 1999 жылдан 2009 жылға дейін. Сонымен қатар ол компьютерлік жүйеге қатысуды кеңейтудегі көшбасшылығымен ерекшеленеді. Ол мүше болды CRA-W 2001 жылдан бастап басқарма және оның тең төрағасы болды CRA-W 2005 жылдан 2008 жылға дейін.

Марапаттар

1998 жылы ол а ACM Стипендиат.[1]

Оның басқа да марапаттарына мыналар жатады:

  • IEEE стипендиаты 2011 ж[2] бағдарламалық жасақтаманы сынауға және тексеруге қосқан үлесі үшін.
  • ACM SIGSOFT Үздік зерттеу марапаты, 2011 ж[3]
  • ACM SIGSOFT ерекше қызмет марапаты, 2002 ж[4]

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

  1. ^ Есептеу техникасы қауымдастығы (1998). «AWARDS ACM стипендиаты Лори А. Кларк». Есептеу техникасы қауымдастығы. Алынған 2013-06-15.
  2. ^ Электроника және электротехника институты (2011). «IEEE 2011 стипендиаты». Электроника және электротехника институты. Архивтелген түпнұсқа 2013-04-30. Алынған 2013-06-15.
  3. ^ ACM SIGSOFT (2011). «ACM SIGSOFT үздік ғылыми марапаты». www.sigsoft.org. Алынған 2013-06-15.
  4. ^ ACM SIGSOFT (2002). «ACM SIGSOFT беделді қызмет марапаты». SIGSOFT. Алынған 2013-06-15.

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