Yilan Gu: Advanced Reasoning about Dynamical Systems. University of Toronto, Canada 2011