With a background in logic and verification of protocols for computer security, my main interest lies in the extent to which formalisation of values into logical languages can be used for the design of value-sensitive information technology.