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

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

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

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

Он проделал работу (первоначально с коллегами из Data61 ) по использованию блокчейна . Он получил два стартовых гранта от Новозеландского фонда науки и технологических инноваций SfTI .

Совсем недавно он разработал логику правдивости, также в рамках схемы SfTI, но на этот раз в рамках мультиуниверситетского грантового проекта Veracity .

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

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

Ривз опубликовал ряд научных статей. ^{[ 6 ]}

Ссылки

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

Внешние ссылки

Домашняя страница Стива Ривза
Публикации Стива Ривза, проиндексированные Google Scholar
Стив Ривз на DBLP библиографическом сервере
Публикации Стива Ривза , индексируемые Microsoft Academic

[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] Стив Ривз , Scientific Commons .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Германия Израиль Соединенные Штаты Нидерланды
академики	Ассоциация вычислительной техники ДБЛП Google Академика ОРЦИД Скопус zbMATH