Yinan Li received the B.S. and M.S. degree in automatic control from Beihang University, Beijing, China, in 2009 and 2012, respectively. She is currently pursuing the Ph.D. degree in applied mathematics with the University of Waterloo, Waterloo, Ontario, Canada, under the supervision of J. Liu. Her current research interests include hybrid system control using formal methods, control applications in robotics and power electronics.