Teaching

ECMM445: Learning from Data

Workshop, University of Exeter, Department of Computer Science. Summer, 2021

60hrs workshop for master students.

Formal Methods

Workshop, Beihang University, School of Reliability and Systems Engineering, 2011