University of Essex

Faculty Member, School of Computer Science and Electronic Engineering

University of Waikato, Department of Computer Science

Dean of International Development

About

I am currently the Dean of International Development and a Professor of Computer Science at the University of Essex in the UK -- as such I have a responsibility, working with others, to develop and implement the University's International Strategy. In a nutshell, the strategy aims to further internationalize the university, developing beneficial, reciprocal relationships in education and research, with students, academic and professional colleagues, faculties, schools, departments, and academic institutions across the world. The emphasis is on opportunities leading to mutual benefits and new understanding.

So, I am interested in discussing new international academic collaborations in research and teaching; I have considerable experience in curriculum design in Higher Education, both within and outside the UK, and in external examining and accredidation in Higher and Further Education. I have worked as a consultant for several Ministries of Higher Education, internationally, undertaking both academic reviews, developing accreditation standards and leading strategic planning exercises.

My academic work lies in the area of Formal Methods for software engineering, in particular the design and use of logics of specification and program development.

Recent Keynote Presentations:

"From Aspirations to Capabilities - challenges for outcomes-based curricula", Annual Meeting of Saudi HE managers, Jeddah, March 2008

"Varieties of Scheme Calculus", British Colloquium for Theoretical Computer Science, April 2008

"The Strategic Management of Research: an international perspective", International Conference on Higher Education Management, Universitas Gadjah Mada, Yogakarta, Indonesia, October, 2009

Contact Information

http://martinhenson.typepad.com/blog

Wivenhoe Park
Colchester
Essex
CO4 3SQ
UK

+441206874520 / 872341
+447540669213

Skype: martinhenson
Google Talk: martin.c.henson@gmail.com


 
Accreditation and Quality Assurance
Formal aspects of computing
Mailing Lists ProCoS FMNet

Academia © 2010