Стив Ривз (компьютертанушы) - Steve Reeves (computer scientist)

Бұл мақала компьютер ғалымы туралы. Актер үшін қараңыз Стив Ривз (актер).

Стив Ривз
Туған31 қазан 1957 ж (1957-10-31) (жас63)
Брайтон, Англия
ҰлтыБритандықтар
Алма матерБирмингем университеті
Ғылыми мансап
ӨрістерИнформатика, бағдарламалық жасақтама, формальды әдістер
МекемелерВайкато университеті, Эссекс университеті, Queen Mary, Лондон университеті

Стив Ривз Бұл информатик негізінде Вайкато университеті жылы Жаңа Зеландия.[1] Ол деканның доценті және Бағдарламаның үйлестірушісі Бағдарламалық жасақтама.[2] Ол зерттеу жұмыстарын жүргізді Z белгісі, формальды әдістер үшін GUI жобалау және жалпы теориясы нақтылау.

Стив Ривздің академиялық жұмысы облыста формальды әдістер көмектесу бағдарламалық жасақтама. Атап айтқанда, ол спецификация үшін логиканы жобалау және пайдалану бойынша зерттеулер жүргізді. Проф. Мартин Хенсон, ол ресми семантикасын зерттеді Z белгісі егжей-тегжейлі,[3] халықаралық қатынастарға байланысты ISO Z үшін стандарт.[4]

Ол жақында жұмысқа кірісті (басында әріптестерімен бірге) Деректер 61 ) үшін пайдалану туралы блокчейн. Оған тұқым гранты тағайындалды Жаңа Зеландия Технологияға арналған ғылым қоры SfTI.

Ривз халықаралық деңгейдегі келіссөздер жасады, оның ішіндегі алғашқы әңгіме ретінде BCS-FACS семинарлар сериясы Британдық компьютерлік қоғам жылы Лондон 2005 жылы.[5]

Қазіргі уақытта Стив Ривз кафедраның төрағасы Z Пайдаланушылар тобы және Жаңа Зеландия, Австралазиялық бағдарламалық жасақтама конференциясының мүшесі (ASWEC ) Басқарушы комитет және Азия-Тынық мұхиттық бағдарламалық жасақтама конференциясы (APSEC), 2016 жылдың желтоқсанында Вайкатода өтті [1].Ол стипендиат Британдық компьютерлік қоғам, стипендиат ІТ мамандарының институты (бұрын Жаңа Зеландия компьютерлік қоғамы ), және жарғыланған IT маманы (CITPNZ ).

Ривз бірқатар ғылыми мақалаларын жариялады.[6]

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

  1. ^ Стив Ривздің жеке веб-парағы, Информатика кафедрасы, Вайкато университеті, Жаңа Зеландия.
  2. ^ Адамдар: Информатика, Жаңа Зеландия, Вайкато университетінің компьютерлік ғылымдар бөлімі.
  3. ^ Мартин Хенсон, Z стандартты логикасы сәйкес келмейді, Есептеудің формальды аспектілері, 10-том, 3-нөмір, 243–247, 1998 ж. дои:10.1007 / s001650050014.
  4. ^ Ақпараттық технологиялар - Z формалды спецификациясы - синтаксис, тип жүйесі және семантикасы, ISO / IEC 13568: 2002, ISO, 2002.
  5. ^ Өткен оқиғалар: 2005 ж, BCS-FACS, Ұлыбритания.
  6. ^ Стив Ривз, Ғылыми қауымдастықтар.

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