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

Мартин С. Хенсон
MartinHenson.jpg
Туған14 қазан 1954 (1954-10-14) (жас66)
Оқу, Ұлыбритания
ҰлтыБритандықтар
Алма матерСаутгемптон университеті, Оқу университеті, Эссекс университеті
Ғылыми мансап
ӨрістерИнформатика, формальды әдістер, академиялық аккредиттеу, халықаралық даму
МекемелерЭссекс университеті

Профессор Мартин С. Хенсон FBCS FRSA (1954 жылы 14 қазанда туған) - ағылшын информатик негізінде Эссекс университеті.[1] Ол Декан Халықаралық қатынастар және компьютерлік ғылымдар мен электронды инженерия мектебіне кіреді.[2][3]Хенсон 2000–2006 жылдары информатика кафедрасының меңгерушісі болды.

Білім

Мартин Хенсон білім алған Булмерше мектебі жылы Вудли, Беркшир, кезінде Саутгемптон университеті (BSc, 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. In Бьорнер асханасы (редактор), арнайы шығарылым Ресми спецификация тілдерінің логикасы.
  • Мартин С. Хенсон, Бесник Кайтази және Моше Дойч, техникалық сипаттамалар логикасы nuZ, Есептеудің формальды аспектілері, арнайы шығарылым Нақтылау, 18(3):364–395, 2007.
  • Мартин Хенсон, Моше Дойч және Стив Ривз, Z Logic және оның қосымшалары. Мартин С. Хенсон және Дайнс Бьорнер (редакторлар), спецификация тілдерінің логикасы, EATCS Теориялық информатикадағы монографиялар, 489–596, Springer, 2008.
  • Мартин Хенсон, nuZ қосымшалары мен әдістемесі. Пол Бокада Джонатан П.Боуэн, И.Сиддиқи (редакторлар), Ресми әдістер: Өнер күйі және жаңа бағыттар, 117–146, Springer, 2010.

Кітаптар

  • Мартин Хенсон, Функционалды бағдарламалау элементтері, Блэквелл ғылыми басылымдары, 1987 ж.
  • Берт, Д., Боуэн, Дж.П., Хенсон, МС, Робинсон, К. (редакторлар), ZB 2002 ж.: Z және B формальды спецификациясы және дамуы, B және Z пайдаланушыларының 2-ші халықаралық конференциясы, Информатикадағы дәріс жазбалары, т. 2272, 2002 ж.[14]
  • Трехарн, Х .; Король С .; Хенсон М .; Schneider, S. (редакторлар), ZB 2005: Z және B-дегі формальды спецификация және даму, B және Z қолданушыларының 4-ші халықаралық конференциясы, Информатикадағы дәріс жазбалары, т. 3455, 2005 ж.[15]
  • Мартин С. Хенсон және Динес Бьорнер (редакторлар), спецификация тілдерінің логикасы, теориялық информатикадағы EATCS монографиялары, Springer, 2008.

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

  1. ^ Академиялық құрам: Профессор Мартин Хенсон Мұрағатталды 2009 жылғы 22 қарашада 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.
  10. ^ а б Сыртқы шолушылар: Профессор Мартин Хенсон Мұрағатталды 24 шілде 2011 ж Wayback Machine
  11. ^ Нәтижелерге негізделген оқу жоспарын құру
  12. ^ Зерттеулерді стратегиялық басқару
  13. ^ Жоғары білімнің интернационалдануы
  14. ^ ZB 2002 жинағы
  15. ^ ZB 2005 жинағы

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