| Martin C. Henson | |
|---|---|
 |
|
| Born |
1954 |
| Residence | Essex |
| Nationality | British |
| Fields | Computer science, formal methods |
| Institutions | University of Essex |
| Alma mater | University of Southampton, University of Reading, University of Essex |
Prof. Martin C. Henson FBCS (born 1954) is an English computer scientist based at the University of Essex.[1] He is Dean of International Development and is affiliated to the School of Computer Science & Electronic Engineering.[2][3] 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. This work was used in the international ISO standard for the Z notation.[4]
Henson runs a blog on his activities as Dean at Essex University.[5] 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.
|
|
Wikis
Map
Search