Clack's research in the area of computer automation of legal contracts focuses on how to be confident that the code is faithful to the contract. This includes understanding and formalising the meaning of legal contracts, investigating new languages for expressing contracts, and exploring methodologies and architectures to support the translation from contract to code.