Mr James Sharp
Research Student
Qualifications:BSc
Email: j.h.sharp@surrey.ac.uk
Phone: Work: 01483 68 6059
Room no: 26 BB 02
Further information
Research Interests
I am a member of the Formal Methods and Security Group.
My key areas of interest lie within CSP||B, a formal methodology which uses strengths from two different languages to provide a versatile modelling language for safety critical, rigorous systems.
I also have a keen interest in the use of Computers in enhancing patient care within the NHS.
