Martin Henson (computer scientist): Difference between revisions
Martinhenson (talk | contribs) No edit summary |
Martinhenson (talk | contribs) No edit summary |
||
Line 12: | Line 12: | ||
}} |
}} |
||
Prof. '''Martin C. Henson''' [[FBCS]] (born 1954) is an English [[computer scientist]] based at the [[University of Essex]].<ref>[http://www.essex.ac.uk/csee/people/profile.aspx?id=124 Academic Staff: Prof Martin Henson], School of Computer Science & Electronic Engineering, [[University of Essex]], UK.</ref> He is [[Dean (education)|Dean]] of International Development and is affiliated to the School of Computer Science & Electronic Engineering.<ref>[http://essex.academia.edu/MartinHenson Martin Henson], [http://www.academia.edu/ Academia.edu].</ref><ref>[http://www.qalias.com/view_profile/Martin/Henson/1294/0/ Martin Henson], [http://www.qalias.com/ QAlias].</ref> |
Prof. '''Martin C. Henson''' [[FBCS]] [[FRSA]] (born 1954) is an English [[computer scientist]] based at the [[University of Essex]].<ref>[http://www.essex.ac.uk/csee/people/profile.aspx?id=124 Academic Staff: Prof Martin Henson], School of Computer Science & Electronic Engineering, [[University of Essex]], UK.</ref> He is [[Dean (education)|Dean]] of International Development and is affiliated to the School of Computer Science & Electronic Engineering.<ref>[http://essex.academia.edu/MartinHenson Martin Henson], [http://www.academia.edu/ Academia.edu].</ref><ref>[http://www.qalias.com/view_profile/Martin/Henson/1294/0/ Martin Henson], [http://www.qalias.com/ QAlias].</ref> |
||
Henson was Head of the Department of Computer Science from 2000–2006. |
Henson was Head of the Department of Computer Science from 2000–2006. |
||
Line 19: | Line 19: | ||
Henson runs a [[blog]] on his activities as Dean at Essex University.<ref>[http://martinhenson.typepad.com/ Martin Henson blog], [[Typepad.com]].</ref> |
Henson runs a [[blog]] on his activities as Dean at Essex University.<ref>[http://martinhenson.typepad.com/ Martin Henson blog], [[Typepad.com]].</ref> |
||
He has worked on [[academic accreditation]] for the [[Commission for Academic Accreditation]] in the [[United Arab Emirates]] |
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 == |
== Selected publications == |
Revision as of 11:48, 2 February 2010
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.[1] He is Dean of International Development 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.
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. In particular, 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]
Henson runs a blog on his activities as Dean at Essex University.[5] 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.
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
- Template:Dblp name
- Martin Henson, on academia.edu
- Martin Henson, Naymz
- Martin Henson, LinkedIn
- Martin C Henson, on QAlias
- martinhenson, Twitter.com
- British academic biography stubs
- British computer specialist stubs
- 1954
- Living people
- Alumni of the University of Southampton
- Alumni of the University of Reading
- Alumni of the University of Essex
- English computer scientists
- Formal methods people
- Academics of the University of Essex
- English bloggers
- Fellows of the British Computer Society