Martin Henson (computer Scientist)
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 equivalen ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]