Martin Henson

hensonMartin is currently the Dean of International Development and a Professor of Computer Science at the University of Essex — and has a responsibility, working with others, to develop and implement the University’s International Strategy.

His academic interests lie in the area of Formal Methods for software engineering, in particular the design and use of logics of specification and program development, and in their application in Intelligent Environments. He co-leads the ScaleUp research project, working with partners at the King Abdul Aziz University in Jeddah, which seeks to explore how research in intelligent environments can be deployed ‘in the large’ — in particular, to create, in Jeddah, a research building for Intelligent Systems that is itself one of the topics of research investigation.