Мартин Хенсон (ученый-компьютерщик)

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

Профессор Мартин К. Хенсон FBCS FRSA (родился 14 октября 1954 г.) — английский ученый-компьютерщик, работающий в Университете Эссекса . ^{[ 1 ]} Он является деканом по международным делам и является сотрудником Школы компьютерных наук и электронной инженерии. ^{[ 2 ]}^{[ 3 ]} Хенсон был заведующим кафедрой информатики с 2000 по 2006 год.

Образование

Мартин Хенсон получил образование в школе Балмерше в Вудли, Беркшир , в Университете Саутгемптона (бакалавр наук, 1976 г.), в Университете Рединга ( PGCE , 1977 г.) и Университете Эссекса (магистр наук, 1981 г.).

Академические исследования

Академическая работа Хенсона находится в области формальных методов разработки программного обеспечения . Его ранние работы были посвящены семантике языков программирования, особенно использованию алгебраических подходов для структурирования генерации компилятора и интерпретатора на основе семантических описаний. Он перешел к работе с функциональными языками, сосредоточившись на проверке и преобразовании программ, впервые применив подход к преобразованию программ, адаптированный на основе работы по семантической эквивалентности, с использованием обобщений более высокого порядка и реляционных ограничений. С конца 1990-х годов он занимается исследованием проектирования и использования логики в спецификациях и разработке программ. Вместе со Стивом Ривзом изучил формальную семантику нотации Z. он подробно Эта работа была использована в международном стандарте ISO для обозначения Z. ^{[ 4 ]} Совсем недавно он предложил новый подход к спецификации, основанный на теориях спецификаций, разработав логику спецификации nuZ — Z-подобный язык спецификации с монотонным схемным исчислением. Впервые это было представлено в докладе на серии семинаров BCS-FACS в Британском компьютерном обществе в Лондоне в 2005 году. ^{[ 5 ]}^{[ 6 ]}

Хенсон является членом Британского компьютерного общества с 2009 года. ^{[ 7 ]} и имеет должность приглашенного профессора в Университете Вайкато в Новой Зеландии. ^{[ 8 ]}

Международное развитие

Хенсон вел блог о своей деятельности в качестве декана Университета Эссекса. ^{[ 9 ]} Он работал на международном уровне в области академической аккредитации , институционального лицензирования и стратегического планирования , уделяя особое внимание Ближнему Востоку и, в частности, в Комиссии по академической аккредитации в Объединенных Арабских Эмиратах . ^{[ 10 ]} Он является внешним рецензентом Органа академической аккредитации Омана. ^{[ 10 ]} в Маскате, Оман , и является членом Королевского общества искусств с 2010 года.

Профессор Хенсон выступил с программным докладом по разработке учебных программ, ориентированных на конечные результаты. ^{[ 11 ]} в Саудовской Аравии по институциональным исследованиям, стратегическому планированию. ^{[ 12 ]} в Индонезии и об интернационализации высшего образования. ^{[ 13 ]} в Китае. Другие его международные консультации включали Иорданию , Кувейт , Вест-Индию и Швецию .

Избранные публикации

Мартин С. Хенсон и Стив Ривз , Пересмотр Z: Часть I – Логика и семантика. Формальные аспекты вычислений , 11(4):359–380, 1999.
Мартин С. Хенсон и Стив Ривз. Пересмотр Z: Часть II – Логическое развитие. Формальные аспекты вычислений , 11(4):381–401, 1999.
Мартин К. Хенсон, Стив Ривз и Джонатан П. Боуэн , Z Logic и ее последствия. CAI: Computing and Informatics , 22(4):381–415, 2003. В Dines Bjørner (редактор), специальный выпуск «Логика языков формальной спецификации» .
Мартин К. Хенсон, Бесник Кайтази и Моше Дойч, Логика спецификации nuZ, Формальные аспекты вычислений , специальный выпуск по уточнению , 18(3):364–395, 2007.
Мартин К. Хенсон, Моше Дойч и Стив Ривз, Z Logic и ее приложения. Мартин К. Хенсон и Дайнс Бьорнер (редакторы), Логика языков спецификации, Монографии EATCS по теоретической информатике, 489–596, Springer, 2008.
Мартин К. Хенсон, Приложения и методология nuZ. В: Пол Бока, Джонатан П. Боуэн, Джавед И. Сиддики (редакторы), Формальные методы: современное состояние и новые направления, 117–146, Springer, 2010.

Книги

Мартин К. Хенсон, Элементы функциональных языков, Blackwell Scientific Publications, 1987.
Берт Д., Боуэн Дж. П., Хенсон М. К., Робинсон К. (редакторы), ZB 2002: Формальная спецификация и разработка в Z и B, 2-я Международная конференция пользователей B и Z, Конспекты лекций по информатике, Vol. 2272, 2002. ^{[ 14 ]}
Трехарн, Х.; Кинг, С.; Хенсон, М.; Шнайдер, С. (редакторы), ZB 2005: Формальная спецификация и развитие в Z и B, 4-я Международная конференция пользователей B и Z, Конспекты лекций по информатике, Vol. 3455, 2005. ^{[ 15 ]}
Мартин К. Хенсон и Дайнс Бьёрнер (редакторы), Логика языков спецификаций, Монографии EATCS по теоретической информатике, Springer, 2008.

Ссылки

^ Академический состав: профессор Мартин Хенсон. Архивировано 22 ноября 2009 года в Wayback Machine , Школа компьютерных наук и электронной инженерии, Университет Эссекса , Великобритания.
^ Мартин Хенсон , Academia.edu .
^ Мартин Хенсон , QAlias .
^ Информационные технологии. Обозначение формальной спецификации Z. Синтаксис, система типов и семантика , ISO / IEC 13568: 2002, ISO , 2002.
^ Серия вечерних семинаров BCS-FACS
^ Серия вечерних семинаров BCS-FACS, Прошлые события 2005 г.: nuZ - логика широкого спектра для разработки спецификаций и программ.
^ Члены BCS: Хенсон, Мартин Чарльз
^ Сотрудники: Мартин Хенсон (профессор), факультет компьютерных наук, Университет Вайкато
↑ Блог Мартина Хенсона . Архивировано 26 июля 2009 года на Wayback Machine , Typepad.com .
^ Перейти обратно: ^а ^б Внешние рецензенты: профессор Мартин Хенсон. Архивировано 24 июля 2011 г. в Wayback Machine.
^ Разработка учебной программы, основанной на результатах
^ Стратегическое управление исследованиями
^ Интернационализация высшего образования
^ Протоколы ZB 2002 г.
^ Протоколы ZB 2005 г.

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

Профиль Университета Эссекса
Мартин Хенсон в LinkedIn
Мартин К. Хенсон на DBLP библиографическом сервере

[1] Академический состав: профессор Мартин Хенсон. Архивировано 22 ноября 2009 года в Wayback Machine , Школа компьютерных наук и электронной инженерии, Университет Эссекса , Великобритания.

[2] Мартин Хенсон , Academia.edu .

[3] Мартин Хенсон , QAlias .

[4] Информационные технологии. Обозначение формальной спецификации Z. Синтаксис, система типов и семантика , ISO / IEC 13568: 2002, ISO , 2002.

[5] Серия вечерних семинаров BCS-FACS

[6] Серия вечерних семинаров BCS-FACS, Прошлые события 2005 г.: nuZ - логика широкого спектра для разработки спецификаций и программ.

[7] Члены BCS: Хенсон, Мартин Чарльз

[8] Сотрудники: Мартин Хенсон (профессор), факультет компьютерных наук, Университет Вайкато

[9] Блог Мартина Хенсона . Архивировано 26 июля 2009 года на Wayback Machine , Typepad.com .

[oac-10] Перейти обратно: ^а ^б Внешние рецензенты: профессор Мартин Хенсон. Архивировано 24 июля 2011 г. в Wayback Machine.

[11] Разработка учебной программы, основанной на результатах

[12] Стратегическое управление исследованиями

[13] Интернационализация высшего образования

[14] Протоколы ZB 2002 г.

[15] Протоколы ZB 2005 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 15 ]

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