Age, Biography and Wiki
Martin Henson (computer scientist) was born on 14 October, 1954 in Reading, UK, is an English computer scientist. Discover Martin Henson (computer scientist)'s Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is he in this year and how he spends money? Also learn how he earned most of networth at the age of 69 years old?
| Popular As |
N/A |
| Occupation |
N/A |
| Age |
69 years old |
| Zodiac Sign |
Libra |
| Born |
14 October, 1954 |
| Birthday |
14 October |
| Birthplace |
Reading, UK |
| Nationality |
|
We recommend you to check the complete list of Famous People born on 14 October.
He is a member of famous Computer with the age 69 years old group.
Martin Henson (computer scientist) Height, Weight & Measurements
At 69 years old, Martin Henson (computer scientist) height not available right now. We will update Martin Henson (computer scientist)'s Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.
| Physical Status |
| Height |
Not Available |
| Weight |
Not Available |
| Body Measurements |
Not Available |
| Eye Color |
Not Available |
| Hair Color |
Not Available |
Dating & Relationship status
He is currently single. He is not dating anyone. We don't have much information about He's past relationship and any previous engaged. According to our Database, He has no children.
| Family |
| Parents |
Not Available |
| Wife |
Not Available |
| Sibling |
Not Available |
| Children |
Not Available |
Martin Henson (computer scientist) Net Worth
His net worth has been growing significantly in 2023-2024. So, how much is Martin Henson (computer scientist) worth at the age of 69 years old? Martin Henson (computer scientist)’s income source is mostly from being a successful Computer. He is from . We have estimated Martin Henson (computer scientist)'s net worth, money, salary, income, and assets.
| Net Worth in 2024 |
$1 Million - $5 Million |
| Salary in 2024 |
Under Review |
| Net Worth in 2023 |
Pending |
| Salary in 2023 |
Under Review |
| House |
Not Available |
| Cars |
Not Available |
| Source of Income |
Computer |
Martin Henson (computer scientist) Social Network
| Instagram |
|
| Linkedin |
|
| Twitter |
|
| Facebook |
|
| Wikipedia |
|
| Imdb |
|
Timeline
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.
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).
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.
Henson was head of the department of computer science from 2000 to 2006.
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.
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.
