Who watches the AI watchman? – University of Waterloo researchers use mathematics and machine learning to ensure AI systems can operate safely – Education News Canada