Colin is interested in Generative AI and its application in high-assurance applications.