Martin Henson
I am currently the Dean for International Affairs 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
"Building Sustainable International Partnerships", UK/India Development Programme II, Leadership Foundation and British Council UKIERI Programme, London, September 2010
"Global Challenges through Research", Leadership Foundation Summit, London, February 2011
"Strategic Approaches to International Relationships", Leadership Foundation Summit Workshop, London, February 2011
"Sustaining International Developments", HIgher Education Futures Forum, Neil Stewart, London, May 2011
Phone: +441206874520 / 872341
Address: Wivenhoe Park
Colchester
Essex
CO4 3SQ
UK
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
"Building Sustainable International Partnerships", UK/India Development Programme II, Leadership Foundation and British Council UKIERI Programme, London, September 2010
"Global Challenges through Research", Leadership Foundation Summit, London, February 2011
"Strategic Approaches to International Relationships", Leadership Foundation Summit Workshop, London, February 2011
"Sustaining International Developments", HIgher Education Futures Forum, Neil Stewart, London, May 2011
Phone: +441206874520 / 872341
Address: Wivenhoe Park
Colchester
Essex
CO4 3SQ
UK
less
Related Authors
InterestsView All (22)
Uploads
Talks by Martin Henson
Books by Martin Henson
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages.
Written for:
Researchers, graduate students
Keywords:
ASM (Abstract State Machines)
CASL (Common Algebraic Specification Language)
CafeOBJ
Duration Calculus
Event-B and B specification language
Formal methods
Formal specification languages
Logic
Programming techniques
Proof rules
RSL (RAISE Specification Language)
Semantics
Software engineering
Syntax
TLA (Temporal Logic of Actions)
VDM (Vienna Development Method)
Z specification language
Boca, Paul P.; Bowen, Jonathan P.; Siddiqi, Jawed I (Eds.)
2010, XXIV, 272 p. 67 illus., Hardcover
ISBN: 978-1-84882-735-6
Domain Engineering.- Program Verification and System Dependability.- The Abstract State Machines Method for High-Level System Design and Analysis.- Applications and Methodology of vZ.- The Computer Ate my Vote.- Formal Methods for Biomechanical Signalling Pathways.- Separation Logic and Concurrency.- Programming Language Description Languages.
About this book
The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.
Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.
This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.
Written for:
Researchers and lecturers in Formal Methods
Keywords:
Formal Methods
Formal Specification
Refinement
Semantics
Z Notation
Papers by Martin Henson
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages.
Written for:
Researchers, graduate students
Keywords:
ASM (Abstract State Machines)
CASL (Common Algebraic Specification Language)
CafeOBJ
Duration Calculus
Event-B and B specification language
Formal methods
Formal specification languages
Logic
Programming techniques
Proof rules
RSL (RAISE Specification Language)
Semantics
Software engineering
Syntax
TLA (Temporal Logic of Actions)
VDM (Vienna Development Method)
Z specification language
Boca, Paul P.; Bowen, Jonathan P.; Siddiqi, Jawed I (Eds.)
2010, XXIV, 272 p. 67 illus., Hardcover
ISBN: 978-1-84882-735-6
Domain Engineering.- Program Verification and System Dependability.- The Abstract State Machines Method for High-Level System Design and Analysis.- Applications and Methodology of vZ.- The Computer Ate my Vote.- Formal Methods for Biomechanical Signalling Pathways.- Separation Logic and Concurrency.- Programming Language Description Languages.
About this book
The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.
Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.
This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.
Written for:
Researchers and lecturers in Formal Methods
Keywords:
Formal Methods
Formal Specification
Refinement
Semantics
Z Notation