WikiDer > Пьер Вулпер

Pierre Wolper
Пьер Вулпер
ҰлтыБельгиялық
БелгіліИнформатика

Пьер Вулпер Бұл Бельгиялық информатик кезінде Льеж университеті. Оның ғылыми қызығушылықтары реактивті және қатарлас бағдарламаларды тексеру әдістерін, сонымен қатар уақытша мәліметтер базасын қамтиды.[1] Ол 2000 жылғы тең алушы Годель сыйлығы, бірге Моше Ю. Варди, оның жұмысы үшін уақытша логика бірге ақырлы автоматтар.[2] Ол сондай-ақ 2005 ж Париж Канеллакис сыйлығы осы жұмыс үшін.[3]

2018 жылдың қазанындағы сайлаудан кейін ол Ректор болады Льеж университеті.[4]

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

  1. ^ «Пьер Вулпер». Алынған 13 шілде 2015.
  2. ^ Варди, Моше Ю .; Вулпер, Пьер (1994), «Шексіз есептеулер туралы пайымдау» (PDF), Ақпарат және есептеу, Бостон, MA: Академиялық баспасөз, 115 (1): 1–37, дои:10.1006 / inco.1994.1092, ISSN 0890-5401, мұрағатталған түпнұсқа (PDF) 2011-08-25
  3. ^ ACM бағдарламалық жасақтаманы, аппараттық құралдарды тексеру құралдарын құрметтейді, ACM, 15 наурыз 2006 ж, алынды 2012-12-12
  4. ^ Пьер Вулпер - Льеждегі Университеттің редакторы, l'Avenir, 11 қазан 2018 ж.

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