Research
Research groups
Publications
Pagination
-
- …
- 3
- 4
- 5
- 6
- 7
- …
-
Next page
Next
External roles and responsibilities
Biography
Dr Colin Snook is a Senior Research Fellow in the cyber-physical systems group at the University of 网络彩票APP下载_澳客彩票网-官方游戏,, UK. He was involved in the development of the Rodin modelling tools, especially UML-B which is a UML-like diagrammatic front-end for the Event-B formal modelling language. He has spent the past 20 years collaborating with industry in the Aerospace and Railway domains to facilitate industrial use of formal methods. This has included consultancy on modelling and verification of systems as well as developing formal modelling tools and training various industrial partners in their use. Before gaining his PhD in computer science at 网络彩票APP下载_澳客彩票网-官方游戏, in 2001 he worked as a software engineer on safety-critical aircraft engine controls.