Martin Henson (computer scientist): Difference between revisions

Browse history interactively ← Previous edit Next edit →Content deleted Content addedVisual WikitextInline

Revision as of 13:30, 11 January 2010 editJpbowen (talk \| contribs)Extended confirmed users, Pending changes reviewers82,313 edits Added info box← Previous edit		Revision as of 22:31, 11 January 2010 edit undoJpbowen (talk \| contribs)Extended confirmed users, Pending changes reviewers82,313 edits Added/updated categories, education and other infoNext edit →
Line 3:		Line 3:
	\| image_width = 120px		\| image_width = 120px
	\| name = Martin C. Henson		\| name = Martin C. Henson
	\| birth_date =		\| birth_date = 1954
	\| birth_place =		\| birth_place =
	\| residence = ]		\| residence = ]
Line 9:		Line 9:
	\| field = ]		\| field = ]
	\| work_institution = ]		\| work_institution = ]
			\| alma_mater = ], ], ]
	\| alma_mater =
	}}		}}

	Prof. '''Martin C. Henson''' ] is an English ] based at the ].<ref>, School of Computer Science & Electronic Engineering, ], UK.</ref> He is ] of International Development and is affiliated to the School of Computer Science & Electronic Engineering.<ref>, .</ref><ref>, .</ref>		Prof. '''Martin C. Henson''' ] (born 1954) is an English ] based at the ].<ref>, School of Computer Science & Electronic Engineering, ], UK.</ref> He is ] of International Development and is affiliated to the School of Computer Science & Electronic Engineering.<ref>, .</ref><ref>, .</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.

			Martin Henson was educated at the ] (], 1976), ] (], 1977), and the University of Essex (], 1981).
	Henson's academic work is in the area of ] to aid ]. In particular, he has undertaken research into the design and use of logics of specification and program development. With ], he has studied the formal semantics of the ] in detail.		Henson's academic work is in the area of ] to aid ]. In particular, he has undertaken research into the design and use of logics of specification and program development. With ], he has studied the formal semantics of the ] in detail.

Line 39:		Line 40:

	{{DEFAULTSORT:Henson, Martin}}		{{DEFAULTSORT:Henson, Martin}}
	]		]
	]		]
			]
			]
			]
	]		]
	]		]

Revision as of 22:31, 11 January 2010

Martin C. Henson
Born	1954
Nationality	British
Alma mater	University of Southampton, University of Reading, University of Essex
Scientific career
Fields	Computer science
Institutions	University of Essex

Prof. Martin C. Henson FBCS (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. 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.

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 and is a Fellow of the British Computer Society since 2009.

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.
Didier Bert, Jonathan P. Bowen, Martin C. Henson, and Ken Robinson (editors), ZB2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, 23–25 January 2002. Springer-Verlag, LNCS 2272, 2002. ISBN 3-540-43166-7.
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.

References

Academic Staff: Prof Martin Henson, School of Computer Science & Electronic Engineering, University of Essex, UK.
Martin Henson, Academia.edu.
Martin Henson, QAlias.
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: