Jun Liu, Ph.D. Professor and Canada Research Chair Hybrid Systems Laboratory Department of Applied Mathematics University of Waterloo Research Interests Hybrid systems and control theory Learning and optimization theory Formal and computational methods for control design Applications in