Misplaced Pages

Martin Henson (computer scientist): Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactivelyNext edit →Content deleted Content addedVisualWikitext
Revision as of 19:50, 18 October 2009 editJpbowen (talk | contribs)Extended confirmed users, Pending changes reviewers82,312 edits New page  Revision as of 19:53, 18 October 2009 edit undoJpbowen (talk | contribs)Extended confirmed users, Pending changes reviewers82,312 editsm Tidying, linkNext edit →
Line 1: Line 1:
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''' 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.


Line 10: Line 10:
* Martin C. Henson and Steve Reeves, Revising Z: Part I — Logic and Semantics. '']'', 11(4):359–380, 1999. * Martin C. Henson and Steve Reeves, Revising Z: Part I — Logic and Semantics. '']'', 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 and Steve Reeves. Revising Z: Part II — Logical Development. ''Formal Aspects of Computing'', 11(4):381–401, 1999.
* Didier Bert, ], 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. ], ] 2272, 2002. ISBN 3-540-43166-7. * Didier Bert, ], Martin C. Henson, and Ken Robinson (editors), ''ZB2002: Formal Specification and Development in Z and B'', 2nd International Conference of ] and Z Users, ], ], 23–25 January 2002. ], ] 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 ] (editor), special issue on ''The Logics of Formal Specification Languages''. * Martin C. Henson, Steve Reeves and Jonathan P. Bowen, Z Logic and its Consequences. ''CAI: Computing and Informatics'', 22(4):381–415, 2003. In ] (editor), special issue on ''The Logics of Formal Specification Languages''.


== References == == References ==

Revision as of 19:53, 18 October 2009

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

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 internationally.

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

  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. Martin Henson blog, Typepad.com.

External links

Stub icon

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

Stub icon

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

Categories: