Dr Colin F Snook

Colin works with:

•	Professor Michael J Butler	(explain)
•	Dr. Michael R. Poppleton	(explain)
•	Ali Gondal	(explain)

This list of people is sourced from RKBExplorer, the result of an ECS project. Click on the "explain" link to the right of each person to find out how they are connected.
Note: the explain link requires heavy processing and may take some time to load.

Dr Colin F Snook

School of Electronics and Computer Science
University of Southampton
Southampton
SO17 1BJ
United Kingdom

Position: Research staff in Electronic and Software Systems
Extension: 23123
Telephone: +44 (0)23 8059 3123
Fax: +44 23 8059 4506
Email: cfs@ecs.soton.ac.uk
URI: http://id.ecs.soton.ac.uk/person/2170 [browse]

Interests: diagrams, empirical assessment, extensibility, formal methods, graphical modelling languages, integrated formal methods, modelling languages

Biography

Dr Colin Snook is a senior research fellow in the Dependable Systems and Software Engineering research group of the Electronics and Computer Science department at the University of Southampton. He works on EU research projects developing tools for formal modelling, validation and verification. Dr Snook is best known for the development of the UML-B modelling notation but he also works on other areas of formal methods and empirical assessment of formal modelling notations. Dr Snook gained his PhD at the University of Southampton in 2001. Before that he worked for Hawker Siddeley Dynamics Engineering (now AT Engine Controls Ltd.) developing real time embedded control systems for various application domains including avionic engine controls. He also spent several years as a software quality manager.

Duties

DSSE Lab Manager

Qualifications

PhD Exploring the Barriers to Formal Specification, University of Southampton, 2001

Other Professional Activities

Ongoing work with AT Engine Controls Ltd.