PhD in Computer Science, University of Cambridge. Software Architect at Oxford Computer Group, Germany. Formerly a researcher at Microsoft Research Cambridge. Expert in identity management, role-based access control, policy-based trust management, data structures & algorithms, computability and decidability, computational complexity, logics and formal proofs.