Мартин Хенсон - Martin Henson

Мартин К. Хенсон
MartinHenson.jpg
Родился14 октября 1954 г. (1954-10-14) (возраст66)
Чтение, ВЕЛИКОБРИТАНИЯ
НациональностьБританский
Альма-матерСаутгемптонский университет, Университет Ридинга, Университет Эссекса
Научная карьера
ПоляИнформатика, формальные методы, академическая аккредитация, Международная разработка
УчрежденияУниверситет Эссекса

Профессор Мартин К. Хенсон 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 Логика и ее последствия. CAI: вычисления и информатика, 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, 1987.
  • Берт, Д., Боуэн, Дж. П., Хенсон, М. К., Робинсон, К. (редакторы), ZB 2002: Формальная спецификация и разработка в Z и B, 2-я Международная конференция пользователей B и Z, Лекционные заметки по информатике, Vol. 2272, 2002.[14]
  • Treharne, H .; King, S .; Henson, M .; Шнайдер, С. (редакторы), ZB 2005: Формальная спецификация и разработка в Z и B, 4-я Международная конференция пользователей B и Z, Конспект лекций по информатике, Vol. 3455, 2005 г.[15]
  • Мартин К. Хенсон и Динес Бьёрнер (редакторы), Логика языков спецификации, Монографии EATCS по теоретической информатике, Springer, 2008.

использованная литература

  1. ^ Академический персонал: профессор Мартин Хенсон В архиве 22 ноября 2009 г. Wayback Machine, Школа компьютерных наук и электронной инженерии, Университет Эссекса, ВЕЛИКОБРИТАНИЯ.
  2. ^ Мартин Хенсон, Academia.edu.
  3. ^ Мартин Хенсон, QAlias.
  4. ^ Информационные технологии - Формальная спецификация Z - Синтаксис, система типов и семантика, ISO / IEC 13568: 2002, ISO, 2002.
  5. ^ Серия вечерних семинаров BCS-FACS
  6. ^ BCS-FACS Evening Seminar Series, Прошедшие мероприятия 2005 г .: nuZ - логика широкого спектра для разработки спецификаций и программ
  7. ^ Члены BCS: Хенсон, Мартин Чарльз
  8. ^ Персонал: Мартин Хенсон (профессор), факультет компьютерных наук, Университет Вайкато
  9. ^ Блог Мартина Хенсона В архиве 26 июля 2009 г. Wayback Machine, Typepad.com.
  10. ^ а б Внешние рецензенты: профессор Мартин Хенсон В архиве 24 июля 2011 г. Wayback Machine
  11. ^ Разработка учебной программы на основе результатов
  12. ^ Стратегическое управление исследованиями
  13. ^ Интернационализация высшего образования
  14. ^ ZB 2002 Труды
  15. ^ ZB 2005 Труды

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