Collaborative Research: Operator theoretic methods for identification and verification of dynamical systems