The CIn-TRUST research group is a centre of excellence for Formal Methods research, teaching, and practice.