Martina Hensona

Martina C. Hensona
Urodzić się	14 października 1954 ( 14.10.1954 ) (wiek 68) Reading , Wielka Brytania
Narodowość	brytyjski
Alma Mater	University of Southampton , University of Reading , University of Essex
Kariera naukowa
Pola	Informatyka , metody formalne , akredytacja akademicka , rozwój międzynarodowy
Instytucje	Uniwersytet Essex

Profesor Martin C. Henson FBCS FRSA (urodzony 14 października 1954) to angielski informatyk z siedzibą na Uniwersytecie w Essex . Jest dziekanem ds. międzynarodowych i jest związany z Wyższą Szkołą Informatyki i Inżynierii Elektronicznej. Henson był szefem wydziału informatyki od 2000 do 2006 roku.

Edukacja

Martin Henson kształcił się w The Bulmershe School w Woodley, Berkshire , na University of Southampton (licencjat, 1976), na University of Reading ( PGCE , 1977) i University of Essex (magister, 1981).

Badania akademickie

Praca naukowa Hensona dotyczy formalnych metod wspomagania inżynierii oprogramowania . Jego wczesne prace dotyczyły semantyki języka programowania, zwłaszcza przy użyciu podejść algebraicznych do strukturyzacji generowania kompilatorów i interpreterów na podstawie opisów semantycznych. Przeszedł do pracy w językach funkcjonalnych, koncentrując się na weryfikacji i transformacji programów, pionierskim podejściu do transformacji programów, zaadaptowanym z pracy w równoważnościach semantycznych, z wykorzystaniem uogólnień wyższego rzędu i ograniczeń relacyjnych. Od końca lat 90. XX wieku prowadzi badania nad projektowaniem i wykorzystaniem logiki w tworzeniu specyfikacji i programów. Z Steve Reeves szczegółowo przestudiował formalną semantykę notacji Z. Ta praca została wykorzystana w międzynarodowym standardzie ISO dla notacji Z. Ostatnio zaproponował nowe podejście do specyfikacji, oparte na teoriach specyfikacji, rozwijając logikę specyfikacji nuZ – język specyfikacji typu Z z monotonicznym rachunkiem schematów. Zostało to po raz pierwszy zaprezentowane w przemówieniu podczas BCS-FACS w British Computer Society w Londynie w 2005 roku.

Henson jest członkiem British Computer Society od 2009 roku i jest profesorem wizytującym na Uniwersytecie Waikato w Nowej Zelandii.

Rozwój międzynarodowy

Henson prowadził blog na temat swojej działalności jako dziekana na Uniwersytecie w Essex. Pracował na arenie międzynarodowej w zakresie akredytacji akademickiej , licencji instytucjonalnych i planowania strategicznego , ze szczególnym uwzględnieniem Bliskiego Wschodu, aw szczególności Komisji ds. Akredytacji Akademickiej w Zjednoczonych Emiratach Arabskich . Jest zewnętrznym recenzentem Oman Academic Accreditation Authority w Maskacie w Omanie , a od 2010 roku jest członkiem Royal Society of Arts .

Profesor Henson wygłosił przemówienia programowe na temat opracowywania programów nauczania w oparciu o wyniki w Arabii Saudyjskiej , planowania strategicznego badań instytucjonalnych w Indonezji oraz internacjonalizacji szkolnictwa wyższego w Chinach. Inne jego międzynarodowe usługi konsultingowe obejmowały Jordanię , Kuwejt , Indie Zachodnie i Szwecję .

Wybrane publikacje

• Martin C. Henson i Steve Reeves , Rewizja Z: Część I - Logika i semantyka. Formalne aspekty informatyki , 11 (4): 359–380, 1999.
• Martina C. Hensona i Steve'a Reevesa. Rewizja Z: Część II - Rozwój logiczny. Formalne aspekty informatyki , 11 (4): 381–401, 1999.
• Martin C. Henson, Steve Reeves i Jonathan P. Bowen , Z Logic i jego konsekwencje. CAI: Computing and Informatics , 22 (4): 381–415, 2003. W Dines Bjørner (redaktor), wydanie specjalne dotyczące logiki języków specyfikacji formalnej .
• Martin C. Henson, Besnik Kajtazi i Moshe Deutsch, Logika specyfikacji nuZ, Formal Aspects of Computing , wydanie specjalne dotyczące udoskonalania , 18 (3): 364–395, 2007.
• Martin C. Henson, Moshe Deutsch i Steve Reeves, Z Logic i jego zastosowania. W Martin C. Henson i Dines Bjørner (redaktorzy), Logics of Specification Languages, EATCS Monographs in Theoretical Computer Science, 489–596, Springer, 2008.
• Martin C. Henson, Zastosowania i metodologia nuZ. W: Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi (redaktorzy), Metody formalne: stan wiedzy i nowe kierunki, 117–146, Springer, 2010.

Książki

• Martin C. Henson, Elements of Functional Languages, Blackwell Scientific Publications, 1987.
• Bert, D., Bowen, JP, Henson, MC, Robinson, K. (redaktorzy), ZB 2002: Formalna specyfikacja i rozwój w Z i B, 2. międzynarodowa konferencja użytkowników B i Z, notatki z wykładów z informatyki, tom. 2272, 2002.
• Treharne, H.; Król, S.; Henson, M.; Schneider, S. (redaktorzy), ZB 2005: Specyfikacja formalna i rozwój w Z i B, 4. Międzynarodowa Konferencja Użytkowników B i Z, Notatki z wykładów z informatyki, tom. 3455, 2005.
• Martin C. Henson i Dines Bjørner (redaktorzy), Logika języków specyfikacji, Monografie EATCS w informatyce teoretycznej, Springer, 2008.

Linki zewnętrzne

• Profil Uniwersytetu w Essex
• Martina Hensona na LinkedIn
• Martin C. Henson na serwerze bibliograficznym DBLP