Congratulations to Ye for successfully defending his PhD! Some of his contributions include formalizing non-periodic locomotion gait planning, using formal methods to maneuver in dynamically changing environments, and studying distributed realtime control architectures.
Leave a Reply