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

Эта статья про компьютерного ученого. Для актера см. Стив Ривз (актер).

Стив Ривз
Родившийся31 октября 1957 г. (1957-10-31) (возраст63)
Брайтон, Англия
НациональностьБританский
Альма-матерБирмингемский университет
Научная карьера
ПоляИнформатика, программная инженерия, формальные методы
УчрежденияУниверситет Вайкато, Университет Эссекса, Королева Мэри, Лондонский университет

Стив Ривз это специалист в области информатики на основе Университет Вайкато в Новая Зеландия.[1] Он является заместителем декана и координатором программы Программная инженерия.[2] Он провел исследовательскую работу по Обозначение Z, формальные методы за GUI дизайн и общая теория уточнение.

Академическая работа Стива Ривза находится в области формальные методы помочь программная инженерия. В частности, он провел исследования по разработке и использованию логики для спецификации. С проф. Мартин Хенсон, он изучил формальную семантику Обозначение Z в деталях,[3] в отношении международного ISO стандарт для Z.[4]

Он недавно начал работать (сначала с коллегами из Данные61 ) по использованию для блокчейн. Он получил посевной грант от Новая Зеландия Фонд "Наука для технологических инноваций" SfTI.

Ривз выступал с переговорами на международном уровне, в том числе в качестве вступительного слова в BCS-FACS серия семинаров в Британское компьютерное общество в Лондон в 2005 году.[5]

Стив Ривз в настоящее время является председателем Группа пользователей Z и новозеландский член Австралазийской конференции по разработке программного обеспечения (ASWEC ) Руководящий комитет и Азиатско-Тихоокеанская конференция по разработке программного обеспечения (APSEC), проведенная в Вайкато в декабре 2016 г. [1] Он является членом Британское компьютерное общество, член Институт ИТ-профессионалов (ранее Компьютерное общество Новой Зеландии ) и является дипломированным ИТ-специалистом (CITPNZ ).

Ривз опубликовал ряд научных работ.[6]

Рекомендации

  1. ^ Персональная веб-страница Стива Ривза, Департамент компьютерных наук, Университет Вайкато, Новая Зеландия.
  2. ^ Люди: Компьютерные науки, Департамент компьютерных наук, Университет Вайкато, Новая Зеландия.
  3. ^ Мартин Хенсон, Стандартная логика Z несовместима, Формальные аспекты вычислений, Volume 10, Number 3, 243–247, 1998. Дои:10.1007 / s001650050014.
  4. ^ Информационные технологии - Формальная спецификация Z - Синтаксис, система типов и семантика, ISO / IEC 13568: 2002, ISO, 2002.
  5. ^ Прошедшие мероприятия: 2005 г., BCS-FACS, ВЕЛИКОБРИТАНИЯ.
  6. ^ Стив Ривз, Scientific Commons.

внешняя ссылка