Martin Henson

Martin C. Henson
Born 14 October 1954 (1954-10-14) (age 62)
Reading
Residence Essex
Nationality British
Fields Computer science, formal methods, academic accreditation, international development
Institutions University of Essex
Alma mater University of Southampton, University of Reading, University of Essex

Professor Martin C. Henson FBCS FRSA (born 14 October 1954) is an English computer scientist based at the University of Essex.[1] He is Dean for International Affairs and is affiliated to the School of Computer Science & Electronic Engineering.[2][3] Henson was Head of the Department of Computer Science from 2000–2006.

Education

Martin Henson was educated at The Bulmershe School in Woodley, Berkshire, at the University of Southampton (BSc, 1976), at the University of Reading (PGCE, 1977), and the University of Essex (MSc, 1981).

Academic research

Henson's academic work is in the area of formal methods to aid software engineering. His early work was in programming language semantics, especially using algebraic approaches for structuring compiler and interpreter generation from semantic descriptions. He moved on to work in functional languages, focusing on program verification and transformation, pioneering an approach to program transformation, adapted from work in semantic equivalences, using higher-order generalisations and relational constraints. Since the late 1990s, he has undertaken research into the design and use of logics of specification and program development. With Steve Reeves, he has studied the formal semantics of the Z notation in detail. This work was used in the international ISO standard for the Z notation.[4] Most recently he has proposed a new approach to specification, based on specification theories, developing the specification logic nuZ – a Z-like specification language with a monotonic schema calculus. This was first presented in a talk in the BCS-FACS seminar series at the British Computer Society in London in 2005.[5][6]

He has been a Fellow of the British Computer Society since 2009[7] and holds a Visiting Professorship at the University of Waikato in New Zealand.[8]

International development

Henson runs a blog on his activities as Dean at Essex University.[9] He has worked internationally on academic accreditation, institutional licensure and strategic planning, with a focus on the Middle East and particularly for the Commission for Academic Accreditation in the United Arab Emirates.[10] He is an external reviewer for the Oman Academic Accreditation Authority[11] in Muscat, Oman, and has been a Fellow of the Royal Society of Arts since 2010.

Professor Henson has given keynote addresses on outcomes-based curriculum development,[12] in Saudi Arabia, on institutional research strategic planning[13] in Indonesia, and on the internationalisation of higher education[14] in China. His other international consultancy has included Jordan, Kuwait, the West Indies, and Sweden.

Selected publications

Books

References

  1. ↑ Academic Staff: Prof Martin Henson, School of Computer Science & Electronic Engineering, University of Essex, UK.
  2. ↑ Martin Henson, Academia.edu.
  3. ↑ Martin Henson, QAlias.
  4. ↑ Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics, ISO/IEC 13568:2002, ISO, 2002.
  5. ↑ BCS-FACS Evening Seminar Series
  6. ↑ BCS-FACS Evening Seminar Series, Past events 2005: nuZ – a wide-spectrum logic for specification and program development
  7. ↑ Fellows of the BCS: Henson, Martin Charles
  8. ↑ Staff: Martin Henson (Professor), Department of Computer Science, University of Waikato
  9. ↑ Martin Henson blog, Typepad.com.
  10. ↑ External Reviewers: Prof Martin Henson
  11. ↑ External Reviewers: Prof Martin Henson
  12. ↑ Outcomes-based Curriculum Development
  13. ↑ The Strategic Management of Research
  14. ↑ The Internationalization of Higher Education
  15. ↑ ZB 2002 Proceedings
  16. ↑ ZB 2005 Proceedings
This article is issued from Wikipedia - version of the 10/17/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.