Martin Henson - Martin Henson

Martin C. Henson
MartinHenson.jpg
narozený14. října 1954 (1954-10-14) (stáří66)
Čtení, SPOJENÉ KRÁLOVSTVÍ
Národnostbritský
Alma materUniversity of Southampton, University of Reading, University of Essex
Vědecká kariéra
PolePočítačová věda, formální metody, akademická akreditace, mezinárodní rozvoj
InstituceUniversity of Essex

Profesor Martin C. Henson FBCS FRSA (narozený 14. října 1954) je Angličan počítačový vědec se sídlem v University of Essex.[1] On je Děkan pro mezinárodní záležitosti a je přidružena ke škole informatiky a elektronického inženýrství.[2][3]Henson byl vedoucím katedry informatiky v letech 2000–2006.

Vzdělávání

Martin Henson byl vzděláván na Škola Bulmershe v Woodley, Berkshire, na University of Southampton (BSc, 1976), na University of Reading (PGCE, 1977) a University of Essex (MSc, 1981).

Akademický výzkum

Hensonova akademická práce je v oblasti formální metody pomoci softwarové inženýrství. Jeho rané dílo bylo v sémantice programovacího jazyka, zejména s využitím algebraických přístupů ke strukturování generování překladačů a tlumočníků ze sémantických popisů. Přestěhoval se do práce ve funkčních jazycích, se zaměřením na ověřování a transformaci programů, průkopníkem v přístupu k transformaci programu, adaptovaný z práce v sémantických ekvivalencích, s použitím generalizace vyššího řádu a relačních omezení. Od konce 90. let se věnoval výzkumu designu a využití logiky při specifikaci a vývoji programů. S Steve Reeves, studoval formální sémantiku Z notace podrobně. Tato práce byla použita v mezinárodním měřítku ISO standard pro notaci Z.[4] V poslední době navrhl nový přístup ke specifikaci na základě teorií specifikací, rozvíjející specifikační logiku nuZ - specifikační jazyk podobný Z s monotónním schématickým počtem. Toto bylo poprvé představeno na přednášce v EU BCS-FACS cyklus seminářů na Britská počítačová společnost v Londýně v roce 2005.[5][6]

Henson byl a Chlapík z Britská počítačová společnost od roku 2009[7] a drží a Hostující profesorem na University of Waikato na Novém Zélandu.[8]

Mezinárodní rozvoj

Henson provozoval blog o svých aktivitách jako děkana na univerzitě v Essexu.[9]Pracoval mezinárodně akademická akreditace, institucionální licence a strategické plánování, se zaměřením na Střední východ a zejména na Komise pro akademickou akreditaci v Spojené arabské emiráty.[10] Je externím recenzentem pro Ománský akademický úřad pro akreditaci[10] v Maskat, Omán, a byl členem Královská společnost umění od roku 2010.

Profesor Henson přednesl hlavní projevy k vývoji osnov založených na výsledcích,[11] v Saudská arábie, o strategickém plánování institucionálního výzkumu[12] v Indonésie ao internacionalizaci vysokoškolského vzdělávání[13] v Číně. Zahrnoval i jeho další mezinárodní poradenství Jordán, Kuvajt, Západní Indie, a Švédsko.

Vybrané publikace

  • Martin C. Henson a Steve Reeves, Revize Z: Část I - Logika a sémantika. Formální aspekty práce na počítači, 11(4):359–380, 1999.
  • Martin C. Henson a Steve Reeves. Revize Z: Část II - Logický vývoj. Formální aspekty práce na počítači, 11(4):381–401, 1999.
  • Martin C. Henson, Steve Reeves a Jonathan P. Bowen Logika Z a její důsledky. CAI: Výpočetní technika a informatika, 22 (4): 381–415, 2003. In Večeře Bjørner (editor), speciální vydání na Logika jazyků formálních specifikací.
  • Martin C. Henson, Besnik Kajtazi a Moshe Deutsch, Specifikační logika nuZ, Formální aspekty práce na počítači, speciální vydání na Upřesnění, 18(3):364–395, 2007.
  • Martin C. Henson, Moshe Deutsch a Steve Reeves, Z Logic a její aplikace. V Martin C. Henson a Dines Bjørner (redaktoři), Logics of Specification Languages, EATCS Monografie v teoretické informatice, 489–596, Springer, 2008.
  • Martin C. Henson, Aplikace a metodologie nuZ. Paul Boca, Jonathan P. Bowen, Čelist I. Siddiqi (redaktoři), Formal Methods: State of the Art and New Directions, 117–146, Springer, 2010.

Knihy

  • Martin C. Henson, Elements of Functional Programming, Blackwell Scientific Publications, 1987.
  • Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (redaktoři), ZB 2002: Formální specifikace a vývoj v Z a B, 2. mezinárodní konference uživatelů B a Z, Lecture Notes in Computer Science, Vol. 2272, 2002.[14]
  • Treharne, H .; King, S .; Henson, M .; Schneider, S. (redaktoři), ZB 2005: Formální specifikace a vývoj v Z a B, 4. mezinárodní konference uživatelů B a Z, Lecture Notes in Computer Science, Vol. 3455, 2005.[15]
  • Martin C. Henson a Dines Bjørner (redaktoři), Logics of Specification Languages, EATCS Monografie v teoretické informatice, Springer, 2008.

Reference

  1. ^ Akademický pracovník: prof. Martin Henson Archivováno 22. listopadu 2009 v Wayback Machine, Škola výpočetní techniky a elektronického inženýrství, University of Essex, SPOJENÉ KRÁLOVSTVÍ.
  2. ^ Martin Henson, Academia.edu.
  3. ^ Martin Henson, QAlias.
  4. ^ Informační technologie - Z Formální specifikace - syntaxe, typový systém a sémantika, ISO / IEC 13568: 2002, ISO, 2002.
  5. ^ Série večerních seminářů BCS-FACS
  6. ^ BCS-FACS Evening Seminar Series, Minulé události 2005: nuZ - širokospektrální logika pro specifikaci a vývoj programu
  7. ^ Členové BCS: Henson, Martin Charles
  8. ^ Zaměstnanci: Martin Henson (profesor), Katedra počítačů, University of Waikato
  9. ^ Blog Martina Hensona Archivováno 26. července 2009 v Wayback Machine, Typepad.com.
  10. ^ A b Externí recenzenti: Prof Martin Henson Archivováno 24. července 2011 v Wayback Machine
  11. ^ Tvorba osnov na základě výsledků
  12. ^ Strategické řízení výzkumu
  13. ^ Internacionalizace vysokoškolského vzdělávání
  14. ^ Sborník ZB 2002
  15. ^ Sborník ZB 2005

externí odkazy