Damien Karkinsky
Position: Consultant

Damien read a BSc in "Computer Science with Management Studies" at Royal Holloway University of London. After graduating with a first class honours degree he joined the "Formal Methods and Security" research group following a PhD program funded by AWE. He worked on integrating state and event-based formal methods and in particular extending the CSP||B approach to specification (www.csp-b.org) into areas of distributed systems and component mobility. Subsequently the research group moved to the University of Surrey, where Damien graduated in 2007 proposing a new approach based on the pi-calculus and B, for modelling systems with component mobility. He joined Adelard in 2008. 

His expertise lies in the use of type systems to capture behavioural safety properties, integrated formal methods and using view-modelling to capture complex systems. His other interests include object-oriented programming, the application of design patterns and the model driven architecture.

Damien is a member of the British Computer Society.