Computer Scientist and Software Engineering professional with particular interests in formal methods and computer security. PH. D. in computer science entitled "The Logic of Trust". Semi-retired. Last full time post CTO of Silicon Safe Ltd. Currently visiting research fellow at the University of York department of computer science. Original degree "Computing and Cybernetics". Current interests in mixed signal processing techniques for audio and ultrasonic (think Bats!).