Martin Henson (computer scientist)

This is an old revision of this page, as edited by Martinhenson (talk | contribs) at 21:21, 14 February 2010 (Added books section and expanded academic history.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Revision as of 21:21, 14 February 2010 by Martinhenson (talk | contribs) (Added books section and expanded academic history.)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Martin C. Henson

Born	1954
Nationality	British
Alma mater	University of Southampton, University of Reading, University of Essex
Scientific career
Fields	Computer science, formal methods, academic accreditation
Institutions	University of Essex

Prof. Martin C. Henson FBCS FRSA (born 1954) is an English computer scientist based at the University of Essex. He is Dean of International Development and is affiliated to the School of Computer Science & Electronic Engineering. Henson was Head of the Department of Computer Science from 2000–2006.

Martin Henson was educated at the University of Southampton (BSc, 1976), University of Reading (PGCE, 1977), and the University of Essex (MSc, 1981). 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. 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.

Henson runs a blog on his activities as Dean at Essex University. He has worked on academic accreditation for the Commission for Academic Accreditation in the United Arab Emirates, has been a Fellow of the British Computer Society since 2009 and a Fellow of the Royal Society of Arts since 2010.

Selected publications

Martin C. Henson and Steve Reeves, Revising Z: Part I — Logic and Semantics. Formal Aspects of Computing, 11(4):359–380, 1999.
Martin C. Henson and Steve Reeves. Revising Z: Part II — Logical Development. Formal Aspects of Computing, 11(4):381–401, 1999.
Martin C. Henson, Steve Reeves and Jonathan P. Bowen, Z Logic and its Consequences. CAI: Computing and Informatics, 22(4):381–415, 2003. In Dines Bjørner (editor), special issue on The Logics of Formal Specification Languages.
Martin C. Henson, Besnik Kajtazi and Moshe Deutsch, The specification logic nuZ, Formal Aspects of Computing, special issue on Refinement, 18(3):364--395, 2007.

Books

Martin C. Henson, Elements of Functional Programming, Blackwell Scientific Publications, 1987.
Martin C. Henson and Dines Bjorner (eds.), Logics of Specification Languages, EATCS Monographs in Theoretical Computer Science, Springer, 2008.

References

Academic Staff: Prof Martin Henson, School of Computer Science & Electronic Engineering, University of Essex, UK.
Martin Henson, Academia.edu.
Martin Henson, QAlias.
Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics, ISO/IEC 13568:2002, ISO, 2002.
Martin Henson blog, Typepad.com.

External links

This biography article of a United Kingdom academic is a stub. You can help Misplaced Pages by expanding it.

This article on a computer specialist of the United Kingdom is a stub. You can help Misplaced Pages by expanding it.

Categories: