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 interactively← Previous editContent deleted Content addedVisualWikitext
Revision as of 21:06, 18 October 2009 editJpbowen (talk | contribs)Extended confirmed users, Pending changes reviewers82,313 editsm Corrected link← Previous edit Latest revision as of 07:22, 21 November 2024 edit undoHelper201 (talk | contribs)Extended confirmed users85,406 edits Formatting. 
(64 intermediate revisions by 36 users not shown)
Line 1: Line 1:
{{Short description|English computer scientist}}
⚫ 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>
{{EngvarB|date=September 2013}}
⚫ Henson was Head of the Department of Computer Science from 2000–2006.
{{Use dmy dates|date=December 2023}}
{{Infobox scientist
| image = MartinHenson.jpg
| image_size = 150px
| name = Martin C. Henson
| birth_date = {{birth-date and age|14 October 1954}}
| birth_place = ], England, UK
| nationality = British
| field = ], ], ], ]
| work_institution = ]
| alma_mater = ] <br> ] <br> ]
}}


⚫ Professor '''Martin C. Henson''' ] ] (born 14 October 1954) is an English ] based at the ].<ref> {{webarchive|url=https://web.archive.org/web/20091122024613/http://www.essex.ac.uk/csee/people/profile.aspx?id=124 |date=22 November 2009 }}, School of Computer Science & Electronic Engineering, ], UK.</ref> He is ] for international affairs and is affiliated to the School of Computer Science & Electronic Engineering.<ref>, .</ref><ref>, .</ref>
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 was head of the department of computer science from 2000 to 2006.


==Education==
⚫ Henson runs a ] on his activities as Dean at Essex University.<ref>, ].</ref>
Martin Henson was educated at ] in ], at the ] (BSc, 1976), at the ] (], 1977), and the University of Essex (MSc, 1981).
He has worked on academic accreditation internationally.


==Academic research==
⚫ == Selected publications ==
Henson's academic work is in the area of ] to aid ]. 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 logic in specification and program development. With ], he has studied the formal semantics of the ] in detail. This work was used in the international ] standard for the Z notation.<ref>'''', ISO/IEC 13568:2002, , 2002.</ref> 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 ] seminar series at the ] in London in 2005.<ref></ref><ref></ref>
⚫ * 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.
⚫ * 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''.


Henson has been a ] of the ] since 2009<ref></ref> and holds a ] at the ] in New Zealand.<ref></ref>
⚫ == References ==
{{reflist}}


==International development==
⚫ == External links ==
⚫ Henson ran a blog on his activities as Dean at Essex University.<ref> {{webarchive|url=https://web.archive.org/web/20090726120806/http://martinhenson.typepad.com/ |date=26 July 2009 }}, ].</ref>
* {{dblp name|id=h/Henson:Martin_C=}}
He has worked internationally on ], institutional licensure and ], with a focus on the Middle East and particularly for the ] in the ].<ref name="oac"> {{webarchive|url=https://web.archive.org/web/20110724202812/http://www.oac.gov.om/about/reviewers/detail/?id=504 |date=24 July 2011 }}</ref> He is an external reviewer for the ]<ref name="oac" /> in ], and has been a Fellow of the ] since 2010.
⚫ * , ]
* , ]
* , ]


Professor Henson has given keynote addresses on outcomes-based curriculum development,<ref></ref> in ], on institutional research strategic planning<ref></ref> in ], and on the internationalisation of higher education<ref></ref> in China. His other international consultancy has included ], ], the ], and ].
{{UK-academic-bio-stub}}

{{UK-compu-bio-stub}}
⚫ ==Selected publications==
⚫ * Martin C. Henson and ], 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, Steve Reeves and ], 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, Besnik Kajtazi and Moshe Deutsch, The specification logic nuZ, ''Formal Aspects of Computing'', special issue on ''Refinement'', 18(3):364–395, 2007.
* Martin C. Henson, Moshe Deutsch and Steve Reeves, Z Logic and its Applications. In Martin C. Henson and Dines Bjørner (editors), Logics of Specification Languages, ] Monographs in Theoretical Computer Science, 489–596, Springer, 2008.
* Martin C. Henson, Applications and Methodology of nuZ. In Paul Boca, Jonathan P. Bowen, ] (editors), Formal Methods: State of the Art and New Directions, 117–146, Springer, 2010.

==Books==
* Martin C. Henson, Elements of Functional Languages, Blackwell Scientific Publications, 1987.
⚫ * Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (editors), ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Lecture Notes in Computer Science, Vol. 2272, 2002.<ref></ref>
* Treharne, H.; King, S.; Henson, M.; Schneider, S. (editors), ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Lecture Notes in Computer Science, Vol. 3455, 2005.<ref></ref>
* Martin C. Henson and Dines Bjørner (editors), Logics of Specification Languages, EATCS Monographs in Theoretical Computer Science, Springer, 2008.

⚫ ==References==
{{Reflist}}

⚫ ==External links==
*
⚫ * on ]
* {{DBLP |name=Martin C. Henson}}

{{Authority control}}


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

Latest revision as of 07:22, 21 November 2024

English computer scientist

Martin C. Henson
Born14 October 1954 (1954-10-14) (age 70)
Reading, England, UK
NationalityBritish
Alma materUniversity of Southampton
University of Reading
University of Essex
Scientific career
FieldsComputer science, formal methods, academic accreditation, international development
InstitutionsUniversity of Essex

Professor Martin C. Henson FBCS FRSA (born 14 October 1954) is an English computer scientist based at the University of Essex. He is dean for international affairs and is affiliated to the School of Computer Science & Electronic Engineering. Henson was head of the department of computer science from 2000 to 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 logic in 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. This was first presented in a talk in the BCS-FACS seminar series at the British Computer Society in London in 2005.

Henson has been a Fellow of the British Computer Society since 2009 and holds a Visiting Professorship at the University of Waikato in New Zealand.

International development

Henson ran a blog on his activities as Dean at Essex University. 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. He is an external reviewer for the Oman Academic Accreditation Authority 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, in Saudi Arabia, on institutional research strategic planning in Indonesia, and on the internationalisation of higher education in China. His other international consultancy has included Jordan, Kuwait, the West Indies, and Sweden.

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.
  • Martin C. Henson, Moshe Deutsch and Steve Reeves, Z Logic and its Applications. In Martin C. Henson and Dines Bjørner (editors), Logics of Specification Languages, EATCS Monographs in Theoretical Computer Science, 489–596, Springer, 2008.
  • Martin C. Henson, Applications and Methodology of nuZ. In Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi (editors), Formal Methods: State of the Art and New Directions, 117–146, Springer, 2010.

Books

  • Martin C. Henson, Elements of Functional Languages, Blackwell Scientific Publications, 1987.
  • Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (editors), ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Lecture Notes in Computer Science, Vol. 2272, 2002.
  • Treharne, H.; King, S.; Henson, M.; Schneider, S. (editors), ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Lecture Notes in Computer Science, Vol. 3455, 2005.
  • Martin C. Henson and Dines Bjørner (editors), Logics of Specification Languages, EATCS Monographs in Theoretical Computer Science, Springer, 2008.

References

  1. Academic Staff: Prof Martin Henson Archived 22 November 2009 at the Wayback Machine, 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 Archived 26 July 2009 at the Wayback Machine, Typepad.com.
  10. ^ External Reviewers: Prof Martin Henson Archived 24 July 2011 at the Wayback Machine
  11. Outcomes-based Curriculum Development
  12. The Strategic Management of Research
  13. The Internationalization of Higher Education
  14. ZB 2002 Proceedings
  15. ZB 2005 Proceedings

External links

Categories: