Martin Henson
Encyclopedia
Professor 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.
in Woodley, Berkshire
, at the University of Southampton
(BSc
, 1976), at the University of Reading
(PGCE
, 1977), and the University of Essex (MSc
, 1981).
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. This was first presented in a talk in the BCS-FACS
seminar series at the British Computer Society
in London
in 2005.
He has been a Fellow
of the British Computer Society since 2009 and holds a Visiting Professorship
at the University of Waikato
in New Zealand
.
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 Accreditation Council 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 internationalization of higher education in China. His other international consultancy has included Jordan
, Kuwait
, the West Indies, and Sweden
.
FBCS
FBCS is an abbreviation for Fellow of the British Computer Society . This is the most senior professional grade in the BCS. It is available to applicants with a minimum of five years of Information Technology experience in a senior IT position or who have an established eminent or authoritative...
FRSA (born 1954) is an English computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
based at the University of Essex
University of Essex
The University of Essex is a British campus university whose original and largest campus is near the town of Colchester, England. Established in 1963 and receiving its Royal Charter in 1965...
. He is Dean
Dean (education)
In academic administration, a dean is a person with significant authority over a specific academic unit, or over a specific area of concern, or both...
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.
Education
Martin Henson was educated at The Bulmershe SchoolThe Bulmershe School
The Bulmershe School is a mixed-sex comprehensive school located in Woodley, Berkshire, England, which first opened in 1964 as a grammar school. It caters for children of all abilities between the ages of 11 and 18...
in Woodley, Berkshire
Berkshire
Berkshire is a historic county in the South of England. It is also often referred to as the Royal County of Berkshire because of the presence of the royal residence of Windsor Castle in the county; this usage, which dates to the 19th century at least, was recognised by the Queen in 1957, and...
, at the University of Southampton
University of Southampton
The University of Southampton is a British public university located in the city of Southampton, England, a member of the Russell Group. The origins of the university can be dated back to the founding of the Hartley Institution in 1862 by Henry Robertson Hartley. In 1902, the Institution developed...
(BSc
BSC
BSC is a three-letter abbreviation that may refer to:Science and technology* Bachelor of Science , an undergraduate degree* Base Station Controller, part of a mobile phone network; see: Base Station subsystem...
, 1976), at the University of Reading
University of Reading
The University of Reading is a university in the English town of Reading, Berkshire. The University was established in 1892 as University College, Reading and received its Royal Charter in 1926. It is based on several campuses in, and around, the town of Reading.The University has a long tradition...
(PGCE
PGCE
PGCE can stand for:* Postgraduate Certificate in Education, an English, Welsh and Northern Irish teacher-training qualification that includes master's credits...
, 1977), and the University of Essex (MSc
MSC
- Computers:* Mario Strikers Charged* Microsoft Common Console Document, file for the Microsoft Management Console* Microelectronics Support Centre* Microsoft Corporation* MIDI Show Control* Message Sequence Chart...
, 1981).
Academic research
Henson's academic work is in the area of formal methodsFormal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
to aid software engineering
Software engineering
Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...
. 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
Steve Reeves (computer scientist)
Prof. Steve Reeves is a computer scientist based at the University of Waikato in New Zealand. He is the Associate Dean and the Programme Co-ordinator of Software Engineering. He has undertaken research work on the Z notation, formal methods for GUI design and a general theory of refinement.Steve...
, he has studied the formal semantics of the Z notation
Z notation
The Z notation , named after Zermelo–Fraenkel set theory, is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.-History:...
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
BCS-FACS
BCS-FACS is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group, founded in 1978, organizes meetings for its members and others on formal methods and related computer science topics...
seminar series at the British Computer Society
British Computer Society
The British Computer Society, is a professional body and a learned society that represents those working in Information Technology in the United Kingdom and internationally...
in London
London
London is the capital city of :England and the :United Kingdom, the largest metropolitan area in the United Kingdom, and the largest urban zone in the European Union by most measures. Located on the River Thames, London has been a major settlement for two millennia, its history going back to its...
in 2005.
He has been a Fellow
Fellow
A fellow in the broadest sense is someone who is an equal or a comrade. The term fellow is also used to describe a person, particularly by those in the upper social classes. It is most often used in an academic context: a fellow is often part of an elite group of learned people who are awarded...
of the British Computer Society since 2009 and holds a Visiting Professorship
Visiting scholar
In the world of academia, a visiting scholar or visiting academic is a scholar from an institution who visits a host university, where he or she is projected to teach , lecture , or perform research on a topic the visitor is valued for...
at the University of Waikato
University of Waikato
The University of Waikato is located in Hamilton and Tauranga, New Zealand, and was established in 1964. It has strengths across a broad range of subject areas, particularly its degrees in Computer Science and in Management...
in New Zealand
New Zealand
New Zealand is an island country in the south-western Pacific Ocean comprising two main landmasses and numerous smaller islands. The country is situated some east of Australia across the Tasman Sea, and roughly south of the Pacific island nations of New Caledonia, Fiji, and Tonga...
.
International development
Henson runs a blogBlog
A blog is a type of website or part of a website supposed to be updated with new content from time to time. Blogs are usually maintained by an individual with regular entries of commentary, descriptions of events, or other material such as graphics or video. Entries are commonly displayed in...
on his activities as Dean at Essex University.
He has worked internationally on academic accreditation, institutional licensure and strategic planning
Strategic planning
Strategic planning is an organization's process of defining its strategy, or direction, and making decisions on allocating its resources to pursue this strategy. In order to determine the direction of the organization, it is necessary to understand its current position and the possible avenues...
, with a focus on the Middle East
Middle East
The Middle East is a region that encompasses Western Asia and Northern Africa. It is often used as a synonym for Near East, in opposition to Far East...
and particularly for the Commission for Academic Accreditation
Commission for Academic Accreditation
The Commission for Academic Accreditation is the government-run institutional licensure and degree accreditation organization for private universities and their academic programmes in the United Arab Emirates . It was established in 1999, with headquarters in UAE's capital city Abu Dhabi, and is a...
in the United Arab Emirates
United Arab Emirates
The United Arab Emirates, abbreviated as the UAE, or shortened to "the Emirates", is a state situated in the southeast of the Arabian Peninsula in Western Asia on the Persian Gulf, bordering Oman, and Saudi Arabia, and sharing sea borders with Iraq, Kuwait, Bahrain, Qatar, and Iran.The UAE is a...
. He is an external reviewer for the Oman Accreditation Council in Muscat
Muscat, Oman
Muscat is the capital of Oman. It is also the seat of government and largest city in the Governorate of Muscat. As of 2008, the population of the Muscat metropolitan area was 1,090,797. The metropolitan area spans approximately and includes six provinces called wilayats...
, Oman
Oman
Oman , officially called the Sultanate of Oman , is an Arab state in southwest Asia on the southeast coast of the Arabian Peninsula. It is bordered by the United Arab Emirates to the northwest, Saudi Arabia to the west, and Yemen to the southwest. The coast is formed by the Arabian Sea on the...
, and has been a Fellow of the Royal Society of Arts
Royal Society of Arts
The Royal Society for the encouragement of Arts, Manufacturers and Commerce is a British multi-disciplinary institution, based in London. The name Royal Society of Arts is frequently used for brevity...
since 2010.
Professor Henson has given keynote addresses on outcomes-based curriculum development, in Saudi Arabia
Saudi Arabia
The Kingdom of Saudi Arabia , commonly known in British English as Saudi Arabia and in Arabic as as-Sa‘ūdiyyah , is the largest state in Western Asia by land area, constituting the bulk of the Arabian Peninsula, and the second-largest in the Arab World...
, on institutional research strategic planning in Indonesia
Indonesia
Indonesia , officially the Republic of Indonesia , is a country in Southeast Asia and Oceania. Indonesia is an archipelago comprising approximately 13,000 islands. It has 33 provinces with over 238 million people, and is the world's fourth most populous country. Indonesia is a republic, with an...
, and on the internationalization of higher education in China. His other international consultancy has included Jordan
Jordan
Jordan , officially the Hashemite Kingdom of Jordan , Al-Mamlaka al-Urduniyya al-Hashemiyya) is a kingdom on the East Bank of the River Jordan. The country borders Saudi Arabia to the east and south-east, Iraq to the north-east, Syria to the north and the West Bank and Israel to the west, sharing...
, Kuwait
Kuwait
The State of Kuwait is a sovereign Arab state situated in the north-east of the Arabian Peninsula in Western Asia. It is bordered by Saudi Arabia to the south at Khafji, and Iraq to the north at Basra. It lies on the north-western shore of the Persian Gulf. The name Kuwait is derived from the...
, the West Indies, and Sweden
Sweden
Sweden , officially the Kingdom of Sweden , is a Nordic country on the Scandinavian Peninsula in Northern Europe. Sweden borders with Norway and Finland and is connected to Denmark by a bridge-tunnel across the Öresund....
.
Selected publications
- Martin C. Henson and Steve Reeves, Revising Z: Part I — Logic and Semantics. Formal Aspects of ComputingFormal Aspects of ComputingFormal Aspects of Computing is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British...
, 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ørnerDines BjørnerProfessor Dines Bjørner is a Danish computer scientist.He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method at IBM in Vienna...
(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, EATCSEATCSThe European Association for Theoretical Computer Science is an international organization with a European focus, founded in 1972...
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. SiddiqiJawed SiddiqiJawed Siddiqi FBCS is a Pakistani British computer scientist and software engineer. He is the Professor of Software Engineering at Sheffield Hallam University, England.- Education and academic career :...
(editors), Formal Methods: State of the Art and New Deirections, 117-146, Springer, 2010.
Books
- Martin C. Henson, Elements of Functional Programming, 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.
External links
- Martin Henson, on Academia.eduAcademia.eduAcademia.edu is a free social networking website and collaboration tool aimed at academics and researchers from all fields.Launched in September 2008, it became one of the largest social networking sites for academics in 2010...
- Martin Henson, on NaymzNaymzNaymz.com is a professional social networking platform that allows users to network with other professionals and manage their online reputation.Naymz claimed in October 2010 to have 1.8 million members.-History:...
- Martin Henson, on LinkedInLinkedInLinkedIn is a business-related social networking site. Founded in December 2002 and launched in May 2003, it is mainly used for professional networking. , LinkedIn reports more than 120 million registered users in more than 200 countries and territories. The site is available in English, French,...
- Martin C Henson, on QAlias