My research at Relational Formal Methods